Логические законы и правила преобразования логических выражений
ЗАКОНЫ ЛОГИКИ Закон непротиворечия А & A = 0Закон исключения третьего А v A = 1Закон двойного отрицания А = AЗаконы де Моргана А v В = А & В (законы общей инверсии) А & В = А v В
ПРАВИЛА ПРЕОБРАЗОВАНИЯ Правило коммутативности А & В = В & АА 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 = AA & 0 = 0
ПРЕОБРАЗОВАНИЕ ЛОГИЧЕСКОГО ВЫРАЖЕНИЯ Упростить логическое выражение (A & В) v (A & В). (A & В) v (A & В) = А & (B v B) = A & 1 = A
РЕШЕНИЕ ЛОГИЧЕСКОГО УРАВНЕНИЯ Найти значение логической переменной Х из логического уравнения Х v A v X v A = В. (Х v A) v (X v A) = В(Х & A) v (X & A) = ВХ & (A v A) = ВХ & 1 = ВХ = ВХ = В