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