Совершенные нормальные формы

1.

Совершенные нормальные формы

2.

Совершенные нормальные формы
Элементарной конъюнкцией называется формула логики высказываний, которая
представляет собой конъюнкцию переменных или их отрицаний.
Теорема: Элементарная конъюнкция является тождественно ложной тогда и только
тогда когда, в нее входят элементы вида