Конъюнктивная нормальная форма
Sign in to saveAlso known as CNF, clausal form, product of sums expression
concept in Boolean logic
Wikidata facts
- Instance of
- canonical normal form
- Subclass of
- propositional formula
- Has part
- logical conjunction
Show 1 more fact
- studied by
- mathematical logic
Sources (2)
via Wikidata · CC0
Article · Русский
Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ. Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Abstract from DBpedia / Wikipedia · CC BY-SA