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