логика

Построить таблицу для f и определить N(f):
2к. Используя теорему 2 и табл. 5 найти выражение для f*(x,y,z) и определить N(f*).
4к. Используя теорему 3, упростить выражение для f(x,y,z). Проверить правильность упрощения, сравнивая номера исходного и упрощенного выражений для f(x,y,z).
6к. Найти СДНФ, СКНФ функции fN(x,y,z) с номером N = 99. Упростить одну из форм.
8к. Представить в базисе Жегалкина функцию fN(x,y,z) с номером N = 154. Преобразовать полученное выражение в полином Жегалкина.
10к. Привести к КНФ (не упрощая):
17к. Доказать тавтологии тремя способами: а) табличным, б) с помощью сокращенных таблиц истинности, в) приводя к тавтологии ╞ А ~ А с помощью теоремы 1.3.
18к. Доказать секвенцию: а) табличным способом; применяя дважды правило введения →, преобразовать  секвенцию в тавтологию и доказать ее; б) с помощью сокращенных таблиц истинности; в) с помощью теоремы 1.3.
20к. Методом резолюций доказать тавтологии: