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