Оглавление:
- Определение - Что означает конъюнктивная нормальная форма (CNF)?
- Техопедия объясняет нормальную конъюнктивную форму (CNF)
Определение - Что означает конъюнктивная нормальная форма (CNF)?
Конъюнктивная нормальная форма (CNF) - это подход к булевой логике, который выражает формулы как соединения предложений с AND или OR. Каждое предложение, связанное соединением, или AND, должно быть либо литералом, либо содержать дизъюнкцию, либо оператор OR. CNF полезен для автоматического доказательства теорем.
Техопедия объясняет нормальную конъюнктивную форму (CNF)
В конъюнктивной нормальной форме операторы в булевой логике являются соединениями предложений с предложениями дизъюнкций. Другими словами, оператор - это серия OR, соединенных AND.
Например:
(A ИЛИ B) И (C ИЛИ D)
(A ИЛИ B) И (НЕ C ИЛИ B)
Пункты также могут быть литералами:
А ИЛИ Б
А И Б
Литералы рассматриваются в CNF как союзы литеральных предложений и союзов, у которых есть одно предложение. Можно преобразовать заявления в CNF, которые написаны в другой форме, такой как дизъюнктивная нормальная форма.
