ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Правильные дроби меньше единицы.
Неправильные дроби больше единицы или равны ей.
Любая правильная дробь меньше неправильной.
Любая неправильная дробь больше правильной.
№2
№3
а)
б)
№4
21.140.000:350-156*3120:234=58.320
1)21.140.000:350=60.400
2)156*3.120=486.720
3)486.720:234=2080
4)60.400-2080=58.320
№5
1)Лишнее число 25,т.к. нечётное.
2)Лишнее число 25,т.к. единственное изо всех не делится на 4.
3)Лишнее число 56,т.к. единственное изо всех не является квадратом числа.