Изменения
→Определения
* ''Литералом'' является переменная или отрицание переменной. Например, <tex>x</tex> или <tex>\neg y</tex>.
* ''Дизъюнктом'' называется логическое '''ИЛИ''' одного или нескольких литералов. Например, <tex>x \vee \neg y \vee z</tex>
* Говорят, что формула записана в ''конъюнктивной нормальной форме'' (CNF), если представляет собой логическое '''И''' дизъюнктов.
