Условие:
Для следующих формул составить таблицы истинности, найти СДНФ и СКНФ:
2) (X∧Y∧Z) ∨ (X ⇒ ¨Y)∧¨Z
Решение:
Найдем СДНФ и СКНФ для формулы
Ф(X,Y,Z) = (XYZ) (X Y)Z.
Составляем истинностную таблицу формулы F и добавляем к ней два дополнительных столбца с заголовками Совершенные конъюнкты и Совершенные дизъюнкты.