Изменения

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

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

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

Навигация