ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
х+у - сумма числа х и числа y,
х*6 , произведение числа х на число 6
х-у разница чисел х и y ,
у*3 произведение числа y и 3,
х*6+у*3 сумма произведений числа х на число 6 и числа y на число 3,
х*6-у*3 разница произведений числа х на число 6 и числа y на число 3
прим. если изучались выражения (т.е под х можно подразумевать более сложное чтото чем просто число какое нить вроде 2 или 5 или 6.7 или 8/9 а например -3к+5 и т.д), то вместо числа х подразумевать выражения х,
вместо числа y подразумевать выражения y
так выражение более широкое понятие чем число (но если это начальные классы то скорее всего подразумевают просто числа, чтоб не усложнять)
y-цена пачки печенья
2x+3y=510 | *(-3)
3x+5y=790 | * 2
-6x-9y=-1530
6x+10y=1580
y=50
Дальше находим x
x=(510-3y) /2
x=180
ответ:цена пачки чая 180; цена пачки печенья 50