Изменения

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

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

36 байт добавлено, 06:55, 12 октября 2010

Нет описания правки

(¬A v B) ^ (¬A v D) ≡ (¬B v C) - в форме Хорна.

== См.также ==

[[СКНФ]]

144

правки

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