для логического умножения: (А & В) & С = А & (B & С);

для логического сложения: (A ∨ B) ∨ C = A ∨(B ∨ C).

Сочетательный закон.

для логического умножения: А & В = В & А;

для логического сложения: A ∨ B = В ∨ А.

Переместительный закон.

Распределительный закон.

для логического умножения: А & (В ∨ С) = (А & В) ∨ (А & С);

для логического сложения: A ∨ (B & С) = (A ∨ В) & (A ∨ С).

для логического умножения: A & ¬А  = 0

для логического сложения: A v   ¬А= 1

Закон исключения третьего.

Двойное отрицание исключает отрицание: ¬¬А = A

Закон двойного отрицания.

для логического умножения: А & А = А;

для логического сложения: A ∨ А = А.

Закон повторения.

Законы общей инверсии.

для логического умножения: А & 0 = 0; А & 1 = А;

для логического сложения: A ∨ 0 = A; A ∨ 1 = 1.

Законы операций с 0 и 1.