Мат.логика, булевы функции, предикаты

Доброго времени суток.

Предмет: математическая логика.

Необходимо из задачника, приведенного ниже:

выполнить задания № 2.6.1, 2.6.2 (раздел Булевы функции);

выполнить задачи № 4.1.1, 4.1.2, 4.1.3, 4.1.4, 4.1.5, 4.1.6 (раздел Исчисление предикатов)