Задание 1 Составить таблицы истинности формул. Задание 2 Проверьте двумя способами, будут ли эквивалентны следующие функции. А.Составление таблиц истинности; Б.приведением к СКНФ или СДНФ с помощью эквивалентных преобразований. Задание 3 С помощью эквивалентных преобразований приведите формулу ДНФ, КНФ, СДНФ, СКНФ. Постройте полином Жегалкина методом неопределенных коэффициентов. Задание 4 С помощью Карт Карно, построить МДНФ и МКНФ функций: а) f(x,y,z); и в) f(x1,x2,x3,x4) заданных вектором своих значений. а) (1101 1001); б) (1011 1011 1100 1111). Задание 5. Используя критерий полноты (теорему Поста) проверить, является ли полной система функций S={f1,f2}. f1 = x↔y; f2 = ¬x|¬y Задание 6. Используя теорему о дедукции и теорему о полноте проверить выводимость формулы ИВ.