Конјунктивна нормална форма — разлика између измена
Садржај обрисан Садржај додат
Спашавам 1 извора и означавам 0 мртвим. #IABot (v2.0beta8) |
Грешка код формула. ознаке: Визуелно уређивање мобилна измена мобилно веб-уређивање |
||
Ред 9:
:<math>(A \vee B) \wedge (\neg B \vee C \vee \neg D) \wedge (D \vee \neg E)</math>
:<math>(\neg B \vee C)</math>
:<math>(A \
Последња формула је у КНФ, јер се може посматрати као конјункција две једночлане клаузе <math>A</math> и <math>B</math>. Међутим, ова формула је и у дисјунктивној нормалној форми. Следеће формуле нису у КНФ:
|