Изменения

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

КНФ

2 байта добавлено, 19:05, 29 сентября 2015
→‎КНФ: f(x,y) -> f(x,y,z)
}}
Пример КНФ:
<tex>f(x,y,z) = (x \lor y) \land (y \lor \neg{z})</tex>
== СКНФ ==
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/49577»

Навигация