Садржај
- Дефиниција - Шта значи нормалан коњунктивни облик (ЦНФ)?
- Увод у Мицрософт Азуре и Мицрософт Цлоуд | Кроз овај водич научићете о томе шта се рачуна у облаку и како вам Мицрософт Азуре може помоћи да мигрирате и покренете посао из облака.
- Техопедија објашњава коњунктивни нормалан облик (ЦНФ)
Дефиниција - Шта значи нормалан коњунктивни облик (ЦНФ)?
Коњунктивни нормалан облик (ЦНФ) је приступ боолеовој логици који изражава формуле као везнике клаузула с АНД или ОР. Свака клаузула повезана везником, или АНД, мора бити или дословна или садржавати дисјункцију, или оператора ИЛИ. ЦНФ је користан за аутоматско доказивање теорема.
Увод у Мицрософт Азуре и Мицрософт Цлоуд | Кроз овај водич научићете о томе шта се рачуна у облаку и како вам Мицрософт Азуре може помоћи да мигрирате и покренете посао из облака.
Техопедија објашњава коњунктивни нормалан облик (ЦНФ)
У нормалном коњуктивном облику, изјаве из логичке логике су спојеви клаузула са клаузулама дисјункција. Другим речима, изјава је низ ОР-ова повезаних од стране АНД-ова.
На пример:
(А ИЛИ Б) И (Ц ИЛИ Д)
(ИЛИ Б) И (НЕ Ц ИЛИ Б)
Клаузуле такође могу бити дословне:
А ИЛИ Б
А И Б
Литерали се у ЦНФ-у виде као везници дословних клаузула и везника који имају јединствену клаузулу. Могуће је претворити изјаве у ЦНФ који су написани у другом облику, попут дисјунктивног нормалног облика.