Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ.[1] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
1. Ich wasche mich . 2. Wo wäschst du dich ? 3. Wo waschet ihr euch? 4. Wir waschen uns im Bad. 5. Erich rasiert sich . 6. Er rasiert sich vor dem Spiegel. 7. Rasierst du dich jeden Morgen? – Ja, ich rasiere mich jeden Morgen. 8. Was machst du jeden Morgen? – Ich rasiere mich, kämme mich, ziehe mich an. 9. Was macht ihr am Morgen? – Wir rasieren uns, waschen uns, kämmen uns., ziehen uns an. 10. Wir waschen uns im Bad. 11. Wir kämmen uns . 12. Wir ziehen uns an. 13. Kämmst du dich mit diesem Kamm? 14. Ziehen Sie sich schnell an! 15. Wir bereiten uns auf den nächsten Tag vor. 16. Nach dem Mittaessen ruhe ich mich aus. 1. Я умываюсь. 2. Где ты умываешься? 3. Где вы умываетесь? 4. Мы умываемся в ванной. 5. Эрих бреется. 6. Он бреется перед зеркалом. 7. Ты бреешься каждое утро? – Да, каждое утро я бреюсь. 8. Что ты делаешь каждое утро? – Я бреюсь, причесываюсь, одеваюсь. 9. Что вы делаете утром? – Мы бреемся, умываемся, причесываемся., одеваемся. 10. Мы умываемся в ванной. 11. Мы причесываемся. 12. Мы одеваемся. 13. Причесываешься ли ты этим гребнем? 14. Одевайтесь быстрее! 15. Мы готовимся к следующему дню. 16. После обеда я отдыхаю.
ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.