ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
150/5=30 бежит Зина за 1 мин.
50-30=20 пробежит Нина,чтоб догнать Зину
5) S первого будет меньше в 1,2² раза
72:1,2²=72:1,44=50 м²
6)
-они обратно пропорциональны( Обратная пропорциональность между величинами u и v выражается формулой u = n/v, где n - коэффициент пропорциональности. Прямая пропорциональность между величинами v и w выражается формулой v = kw, где k - коэффициент пропорциональности.Отсюда следует, что u = n/(kw), т.е. величины u и w обратно пропорциональны.)
7) 1:100000
18 км.= 18 000м