Задание 1. 3. Составить таблицы истинности формул
Задание 2. 10. Проверьте двумя способами, будут ли эквивалентны следующие функции. А) составлением таблиц истинности; Б) приведением к СДНФ или СКНФ с помощью эквивалентных преобразований.
10) , .
Задание 3. 6. С помощью эквивалентных преобразований приведите формулу к ДНФ, КНФ, СДНФ, СКНФ. Постройте полином Жегалкина методом неопределенных коэффициентов.
F=
Задание 4.7. С помощью карт Карно, построить МДНФ и МКНФ функций:
а) f(x,y,z); и б) f(x1,x2,x3,x4) заданных вектором своих значений
7) а) (0111 1010) б) (0011 0011 1101 1101)
Задание 5.2. Используя критерии полноты (теорему Поста) проверить, является ли полной система функции S={f1,f2}
2)
Задание 6.6. Используя теорему о дедукции и теорему о полноте проверить выводимость формулы ИВ.