Изменения
КНФ
,→КНФ
Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная встречается не более одного раза.
}}
* '''полная''', если в неё каждая переменная (или её отрицание) входит ровно 1 раз;
* '''монотонная''', если она не содержит отрицаний переменных.
}}
Пример КНФ:
<tex>f(x,y) = (x \lor y) \land (y \lor \overlineneg{z})</tex>
== СКНФ ==
