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