ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Пошаговое объяснение:
Висота - 3м
Ширина - 15м
Довжина - 60м
1. Спочатку знаходимо площу S котловану, а з неї об*єм V.
S = ширина * довжина
S = 15*60=900 м2
V = площа * висоту
V = 2700 м3
2. Визначаємо к-ть викопаних м3 першого ексковатора.
45*7=315 м3 - всього викопав перший есковатор
3. Визначаємо к-ть викопаних м3 другого ексковатора (паралельно з першим)
60*4 = 240 м3
4. Скільки викопали разом (за 7м днів)
315+240=555 м3
5. Скільки залишилось
2700-555=2145 м3
6. Скільки днів буде копати залишок другий ексковатор
2145/60= 36
7. Всього днів
36+7=43
4*(0,2*(-5)-3)-(5,8*(-5)-16)=29