Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ.[1] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
3) Допустим, что Х т картофеля привезли на 1 склад, тогда на 2 привезли 4х тонн После того, как со 2 склада перевезли на 1 - 630 т, количество картофеля стало равно. Составляем уравнение: 4х-630=х+630 4х-х=630+630 3х=1260 х=1260:3 х=420 т- картофеля привезли на 1 склад
420*4=1680 т картофеля привезли на 2 склад ответ: 420т и 1680 т
ответ:Формулы не в КНФ:
{\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) 10-6х-10=4х-8
-10х=8
х=8/10
х=0,8
3) Допустим, что Х т картофеля привезли на 1 склад, тогда на 2 привезли 4х тонн
После того, как со 2 склада перевезли на 1 - 630 т, количество картофеля стало равно. Составляем уравнение:
4х-630=х+630
4х-х=630+630
3х=1260
х=1260:3
х=420 т- картофеля привезли на 1 склад
420*4=1680 т картофеля привезли на 2 склад
ответ: 420т и 1680 т
4) (2 1/3-3 3/8)*4 4/5+2 4/9=-2 5/9
2 1/3-3 3/8=2 8/24-3 9/24=- 1 1/24
-1 1/24*4 4/5=- 25/24*24/5=-5
-5+2 4/9=-4 9/9+2 4/9= -2 5/9
5) Представим, что 40 р = 100%. Тогда 30р =х%
Решаем пропорцию
40 - 100%
30 - х%
х=30*100:40
х=75%
100-75=25%
На 25% Груши дороже яблок
на 25% яблоки дешевле груш