Изменения

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

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

36 байт добавлено, 06:55, 12 октября 2010
Нет описания правки
(¬A v B) ^ (¬A v D) ≡ (¬B v C) - в форме Хорна.
 
== См.также ==
[[СКНФ]]
144
правки

Навигация