Свойства логических операций
Рассмотрим основные свойства логических операций, называемые также законами алгебры логики.
1. Переместительный (коммутативный) закон.
для логического умножения: А & В = В & А;
для логического сложения: A ∨ B = В ∨ А.
2. Сочетательный (ассоциативный) закон.
для логического умножения: (А & В) & С = А & (B & С);
для логического сложения: (A ∨ B) ∨ C = A ∨(B ∨ C).
При одинаковых знаках операций скобки можно ставить произвольно или вообще опускать.
3. Распределительный (дистрибутивный) закон.
для логического умножения: А & (В ∨ С) = (А & В) ∨ (А & С);
для логического сложения: A ∨ (B & С) = (A ∨ В) & (A ∨ С).
4. Закон двойного отрицания.
Двойное отрицание исключает отрицание: 
= A
5. Закон исключения третьего.
для логического умножения: A & 
= 0
для логического сложения: A v = 1
Из двух противоречивых высказываний об одном и том же предмете одно всегда истинно, а второе - ложно, третьего не дано.
6. Закон повторения.
для логического умножения: А & А = А;
для логического сложения: A ∨ А = А.
7. Законы операций с 0 и 1.
для логического умножения: А & 0 = 0; А & 1 = А;
для логического сложения: A ∨ 0 = A; A ∨ 1 = 1.
8. Законы общей инверсии.
для логического умножения: 
для логического сложения: 
Законы алгебры логики могут быть доказаны с помощью таблиц истинности.
