Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ.[1] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Масса второго сплава составляет 30 кг
Для удобства вычислений переведём проценты в десятичные дроби:
5%=5:100=0,05
14%=14:100=0,14
10%=10:100=0,1
Пусть масса первого сплава равна х кг,
тогда масса второго сплава равна (х+6) кг,
а масса третьего сплава равна х+х+6=2х+6 кг
Масса цинка в первом сплаве составляет 0,05х кг,
масса цинка во втором сплаве составляет 0,14(х+6) кг,
масса цинка в третьем сплаве составляет 0,1(2х+6) кг.
Т.к. третий сплав состоит из первого и второго, составляем уравнение:
0,05х+0,14(х+6)=0,1(2х+6)
0,05х+0,14х+0,84=0,2х+0,6
0,84-0,6=0,2х-0,05х-0,14х
0,24=0,01х
х=0,24:0,01
х=24 (кг) - масса первого сплава
х+6=24+6=30(кг) - масса второго сплава
Подробнее - на -