Изменения

Перейти к: навигация, поиск

Специальные формы КНФ

13 байт добавлено, 06:33, 7 января 2017

м

→‎См.также

* [[СКНФ]]

* [[2SAT]]

* [[ДНФ]]

==Примечания==

195

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/59025»