Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ.[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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.