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