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

Совершенная дизъюнктивная нормальная форма.

Элементарная конъюнкция называется правильной, если в неё каждая переменная входит не более одного раза, включая её вхождение и под знаком отрицания.

Элементарная конъюнкция называется полной относительно набора переменных если в неё входит каждая из этих переменных не менее одного раза, включая и их вхождение под знаком отрицания.

Совершенной дизъюнктивной нормальной формой (СДНФ) называется дизъюнктивная нормальная форма, в которой нет одинаковых элементарных конъюнкций и все элементарные конъюнкции правильные и полные.

Совершенная конъюнктивная нормальная форма.

Элементарная дизъюнкция называется правильной, если в неё каждая переменная входит не более одного раза, включая её вхождение и под знаком отрицания.

Элементарная дизъюнкция называется полной относительно переменных x,y,z..., если в неё входит каждая из этих переменных не менее одного раза, включая и их вхождение под знаком отрицания.

Совершенной конъюнктивной нормальной формой (СКНФ) относительно переменных x,y,z,..., называется конъюнктивная нормальная форма, в которой нет одинаковых элементарных дизъюнкций и все элементарные дизъюнкции правильные и полные относительно переменных x,y,z,....