Изменения

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

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

203 байта убрано, 06:40, 7 января 2017
м
Источники информации
<references />
==Источники информации==*[https://en.wikipedia.org/wiki/Horn_clause Wikipedia {{---}} Horn clause]*[https://en.wikipedia.org/wiki/2-satisfiability Wikipedia {{---}} 2-satisfiability]
[[Категория: Дискретная математика и алгоритмы]]
[[Категория: Булевы функции ]]
195
правок

Навигация