8
правок
Изменения
КНФ
,Нет описания правки
==Примеры СКНФ для некоторых функций==
Стрелка пирсаПирса: <math>(\neg x \or y) \and (x \or \neg y) \and (\neg x \or \neg y)</math>
Медиана трёх: <math>( x \or y \or z) \and (\neg x \or y \or z) \and (x \or \neg y \or z) \and ( x \or y \or \neg z)</math>
