Задачи на построение логических высказываний

Необходимо решить 4 задачи на построение логических высказываний:

1) В каких координатных четвертях (1, 2, 3, или 4) предикат P(x,y)= !(!AB+A!B), где A(x)=(x>0), B(y)=(y>0), принимает значение «истина»?

2) Из простых высказываний (A, B и С) построить составное высказывание, которое было бы истинно тогда и только тогда, когда истинны любые два высказывания.

3) Определить, справедливы ли утверждения

4) Определить, являются ли следующие высказывания тождественно истинными, тождественно ложными или выполнимыми.

Более подробное описание задачи в файле.