ответ:Формулы не в КНФ:
{\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 ч 20 мин * 4 = 5 ч 20 мин
в) 5 ч 24 мин * 3 = 16 ч 12 мин
г) 2 ч 12 мин * 7 = 15 ч 24 мин
а) 3ч 15 мин / 3 = 1 ч 5 мин
б) 4 ч 48 мин / 4 = 1 ч 12 мин
в) 6 ч 56 мин / 4 = 1 ч 44 мин
г) 2 ч 55 мин / 5 = 35 мин