ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Пусть х тонн было всего муки. Первая пекарня получила 0,4 х тонн, вторая: (х - 0,4 х) * 0,4=0,6 х*0,4=0,24 х тонн, а третья соответственно получила (0,4 х - 1,6) тонн. Составим уравнение:
0,4 х + 0,24 х + 0,4 х - 1,6 = х;
1,04 х - х = 1,6
0,04 х = 1,6
х = 1,6 : 0,04
Х = 40 ТОНН
Я СТАРАЛАСЬ