1. Используя таблицы истинности, проверить эквивалентность булевых

1. Используя таблицы истинности, проверить эквивалентность булевых
формул
x ?( y ~ z) и((x ? y) ~ (x ? z)) ~ x
2. Определите существенные и фиктивные переменные функции,
заданной вектором значений (00111100)
3. Для булевой функции, заданной вектором значений (10101011),
определить СДНФ, СКНФ и полином Жегалкина
4. Выяснить, является ли система функций
A= {0, x ? y, x? y, xy ~ xz
функционально полной
5. Из полной системы булевых функций
A={xy, x ? y, xy ? z, x? y, x ? y
выделите всевозможные базисы.