ответ:Формулы не в КНФ:
{\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] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Индия - страна богатой культуры и истории. Во время путешествия по Индии можно перенестись в совершенно иной мир востока. А превосходные пляжи с высоким уровнем сервиса и красивейшим морем предоставляют прекрасную возможность расслабиться. Индия - это огромный музей под открытым небом, где каждый может прикоснуться к тысячелетней старине, увидеть мировые шедевры зодчества и за несколько часов спуститься с заснеженных Гималаев к жарким тропикам, пролетая над теми местами, где друг друга на протяжении тысячелетий сменяли десятки династий, каждая из которых оставила свой материальный след на гигантском треугольнике, ниспадающем к морю.Приезжайте в Индию и Вы убедитесь, что это страна бесконечного разнообразия благоухающих ароматов и красок, которым еще нет названия, древних традиций и утонченных форм, бесконечного разнообразия обычаев и языков. Индия и великая, никого не оставит равнодушным
Пошаговое объяснение:
