ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
lg(x/(x+2))≤lg0,2
x/(x+2)≤0,2
x/(x+2)-0,2≤0
(x-0,2*(x+2))/(x+2)≤0
(x-0,2x-0,4)/(x+2)≤0
(0,8x-0,4)/(x+2)≤0
0,8*(x-0,5)/(x+2)≤0 |÷0,8
(x-0,5)/(x+2)≤0
-∞+-2-0,5++∞
x∈[-2;0,5]
Согласно ОДЗ: x∈(0;0,5].
ответ: целых чисел неравенства нет.