ответ:Формулы не в КНФ:
{\displaystyle \neg (B\vee C),}{\displaystyle (A\wedge B)\vee C,}{\displaystyle A\wedge (B\vee (D\wedge E)).}
Но эти 3 формулы не в КНФ эквивалентны следующим формулам в КНФ:
{\displaystyle \neg B\wedge \neg C,}{\displaystyle (A\vee C)\wedge (B\vee C),}{\displaystyle A\wedge (B\vee D)\wedge (B\vee E).}
Пошаговое объяснение:
Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ.[1] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Поделитесь своими знаниями, ответьте на вопрос:
Запишите все делители числа; 1)30; 2)12; 3)13; 4)56; запишите четыре числа, кратных числу; 1)7; 2)30; 3)100; 4)47
1) 1; 2; 3; 5; 6; 10; 15; 30.
2) 1; 2; 3; 4; 6; 12.
3) 1; 13.
4) 1; 2; 7; 8; 28; 56.
Кратные:
1) 1; 7.
2) 1; 2; 3; 5; 6; 10; 15; 30.
3) 1; 2; 4; 5; 10; 20; 25; 50; 100.
4) 1; 47.