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