Законы логики позволяют упрощать логические уравнения, делая их не такими большими и более решаемыми. Их не так уж и мало: от самых простых и очевидных до достаточно хитрых; от тех, которые встречаются очень часто до довольно редких. Не обязательно знать все наизусть — часть из них действительно проста и похожа на правила математики начальной школы. Про остальные стоит помнить: если увидите очень большое логическое уравнение, высока вероятность того, что эти законы помогут его сократить. Попробуем упростить исходное выражение: ¬(¬А ∧ ¬В) ∨ В ∧ С 1...

В настоящее время на вступительных экзаменах по информатике есть много заданий по теме “алгебра логики”. Поэтому в этой статье рассмотрим пару примеров алгебры логики из ЕГЭ Алгебра логики – раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. Немного повторения из прошлой темы. Логические операции: ¬ отрицание (инверсия)  &, /\ конъюнкция (“И”)  V дизъюнкция (“ИЛИ”)   логическое следование (импликация) ...