2. Преобразовать их к формулам, содержащим только операции: отрицания, конъюнкции и дизъюнкции (максимально простым).
3. Убедиться в равносильности исходной и полученной формул, построив таблицу истинности последней.
5.
Решение
Построим таблицу истинности.
А
В
С
= =
= =
= = =
= = .
Формулы равносильны
Задание 3.
С помощью ДНФ и КНФ (без построения таблицы истинности) установить тип формулы (в случае выполнимой формулы установить: является ли она тождественно истинной или нейтральной).
=
=
= 
=
=
=
=
= 
=
.
– универсальное множество.
=
=
= 
=
= 
=
=
=
– ДНФ.
...= 
= 
=
= 
=
= 
=
– КНФ.
Найдем формулу, задающею данную схему.
.
= 
= 
=
= 
= 
= 
