Логические законы и правила преобразования логических выражений

ЗАКОНЫ ЛОГИКИ

ПРАВИЛА ПРЕОБРАЗОВАНИЯ
Правило коммутативности
А & В = В & А
А v В = В v А
Правило ассоциативности
(А & В) & C = A & (В & C)
(А v В) v C = A v (В v C)
Правило дистрибутивности
(А & В) v (A & C) = A & (В v C)
(А v В) & (A v C) = A v (В & C)

ПРАВИЛА ПРЕОБРАЗОВАНИЯ
Правила равносильности
А v A = А
A & A = A
Правила исключения констант
А v 1 = 1
А v 0 = A
А & 1 = A
A & 0 = 0

ПРЕОБРАЗОВАНИЕ ЛОГИЧЕСКОГО ВЫРАЖЕНИЯ
Упростить логическое выражение
(A & В) v (A & В).
(A & В) v (A & В) = А & (B v B) = A & 1 = A
По правилу дистрибутивности
По закону исключения третьего
По правилу исключения констант