(1,722:0,3+2,26):2,4*2,2=(5.74+2.26):2.4*2.2=8:2.4*2.2=10/3*2.2=22/3=7 1/3
1. 1.722:0.3=5.74
2. 5.74+2.26=8
3. 8:2.4=10/3
4. 10/3*2.2=22/3
ответ:Формулы не в КНФ:
{\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,722:0,3+2,26):2,4*2,2=7,33
1)1,722:0,3=5,74
2)5,74+2,26=8
3)8:2,4=3,33
4)3,33*2,2=7,33