Зміст:
Визначення - Що означає сполучна нормальна форма (CNF)?
Нормативна сполучна форма (CNF) - це підхід до булевої логіки, який виражає формули як сполучники пропозицій з AND або OR. Кожне застереження, з'єднане сполучником, або AND, повинно бути або буквальним, або містити диз'юнкцію, або оператор АБО. CNF корисний для автоматизованого доведення теорем.
Техопедія пояснює сполучну норму (CNF)
У сполучній нормальній формі висловлювання в булевій логіці - це сполучники припущень із пунктами диз'юнкцій. Іншими словами, оператор - це серія АБО, з'єднаних ІН.
Наприклад:
(АБО В) І (З АБО)
(АБО В) І (НЕ З АБО)
Застереження можуть бути також буквальними:
АБО Б
А І В
Буквене позначення розглядається в CNF як сполучники буквальних пропозицій та сполучників, які, як правило, мають єдине застереження. Можна конвертувати заяви в CNF, які записані в іншій формі, такі як диз'юнктивна нормальна форма.
