Логические законы и правила преобразования логических выражений
-
Закон непротиворечия
А & Ā = 0
Закон исключенного третьего
А V Ā = 1
Закон идемпотентности
А V А = А
А & А = А
Закон исключения констант
А & 1 = А
А & 0 = 0
А V 1 = 1
А V 0 = 0
Закон двойного отрицания
Закон общей инверсии
(законы Моргана)
Переместительный (коммуникативный) закон
А & B = B & A
А V B = B V A
Сочетательный (ассоциативный) закон
(А & B) & C = А & (B & C)
(А V B) V C = А V (B V C)
Распределительный (дистрибутивный) закон
А & (B V C) = (А & B) V (А & C)
А V (B & C) = (А V B) & (А V C)
Закон поглощения
А V (А & В) = А
А & (А V В) = А
Закон исключения
(А & B) V (Ā & B) = В
(А V B) & (Ā V B) = В