Изменения

<mathtex>(x \or lor y) \and land (y \or lor \neg z)</mathtex>

''' {{Определение|definition =СКНФ (Совершенная Конъюнктивная Нормальная Форма)''' — это такая КНФ, которая удовлетворяет условиям:

* каждая элементарная дизъюнкция содержит каждую каждый из входящих в данную КНФ переменныхаргументов функции.}}

<mathtex>(x \or lor \neg y \or lor z) \and land (x\or lor y \or lor \neg z)</mathtex>

Стрелка Пирса: <mathtex>x ↓ y = (\neg x \or lor y) \and land (x \or lor \neg y) \and (\neg x \or lor \neg y)</mathtex>

Медиана трёх: <mathtex>( x \or lor y \or lor z) \and land (\neg x \or lor y \or lor z) \and (x \or lor \neg y \or lor z) \and ( x \or lor y \or lor \neg z)</mathtex>