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