Изменения

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

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

35 байт добавлено, 10:15, 15 октября 2010
Нет описания правки
<tex> F(x_1, ..., x_n)=F(y_1, ..., y_n)=1 \Rightarrow F(x_1 \wedge y_1, x_2 \wedge y_2, ..., x_n \wedge y_n)</tex>
 
==См.также==
[[СКНФ]]
VVolochay
144
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/4061»

Навигация