Контрольная по математической логике

1)     Доказать равенство множеств.

2)     Построить таблицу истинности для логической функции.

3)     Найти выражение для функции, двойственной функции, и определить номер двойственной функции.

4)     Упростить выражение для функции.

5)     Найти СДНФ и СКНФ для функции с заданным номером.

6)     Найти полином Жегалкина для функции с заданным номером.

7)     Проверить монотонность функции из пункта 2.

8)     Доказать секвенцию табличным методом.

Задания в файле.