Дизъюнктивная нормальная форма
Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ. Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.
Q173183
булевой логике
Concept
Q1152398
нормальная форма
Concept
Q2627911
булева формула
Concept
Q1651704
дизъюнкции
Concept
Q191081
конъюнкций
Concept
Q14235582
литералов
Concept
Q2627911
булева формула
Concept
Q5300067
закон двойного отрицания
UNK
Q173300
закон де Моргана
MISC
Q187959
закон дистрибутивности
Concept
Q431667
автоматического доказательства теорем
Concept
Q903789
Дизъюнктивная нормальная форма
Concept
studies
instance of
studies