Закон двойного отрицания — Закон исключённого третьего — Переместительный (коммуникативный) закон — Сочетательный (ассоциативный) закон — Распределительный (дистрибутивный) закон — ¬(¬A) = A. A V ¬A = 1. A V B = B V A. (A & B) & C = A & (B & C). A & (B V C) = (A & B) V (A & C). :