Закон непротиворечия | А & Ā = 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) = В |