144
правки
Изменения
Нет описания правки
Существует два способа представления формулы,заданной в конъюнктивной нормальной форме(КНФ,Conjunctive Normal Form,CNF),т.е имеющей вид конъюнкции выражений в скобках(clauses),каждое из которых представляет собой дизъюнкцию одного или нескольких литералов.:
*КНФ в форме Крома(2-КНФ,2-Sat,2-CNF)
