Существует множество законов алгебры логики, знания которых помогают упрощать сложные логические выражения. Без этих законов упрощать логические выражения не окажется возможным. Рассмотрим же эти полезные законы поближе, вместе с примерами и начнём с наиболее простых и понятных из них. Ниже приведён список основных законов алгебры логики: Для дизъюнкции: Для конъюнкции: Как можно было заметить, то этот закон отбрасывает константы, то есть заранее известную переменную. Если один из операндов для дизъюнкции точно известен, и он равен нулю, то его можно спокойно отбросить...

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