54
правки
Изменения
КНФ
,→Определение
{{Определение
|definition =
Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная входит в неё встречается не более одного раза.
}}
Элементарная дизъюнкция
* '''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);
* '''полная''', если в неё каждая переменная (или её отрицание) входит ровно 1 раз;
* '''монотонная''', если она не содержит отрицаний переменных.
{{Определение
