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