Логические законы

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

2. Переместительный (коммутативный) закон
ДЛЯ СЛОЖЕНИЯ АvВ = ВvА
ДЛЯ УМНОЖЕНИЯ A˄B = B˄A

3. Сочетательный (ассоциативный) закон
ДЛЯ СЛОЖЕНИЯ
(АvВ)vС = Аv(ВvС)
ДЛЯ УМНОЖЕНИЯ
(A˄B)˄С = А˄(B˄С)

4. Распределительный (дистрибутивный) закон
ДЛЯ СЛОЖЕНИЯ (АvВ)˄С = (А˄С)v(В˄С)
ДЛЯ УМНОЖЕНИЯ (A˄B)vС = (АvС) ˄(BvС)

5. Законы де Моргана
ДЛЯ СЛОЖЕНИЯ АvВ = А˄В
ДЛЯ УМНОЖЕНИЯ A˄B = АvВ

6. Закон идемпотентности
ДЛЯ СЛОЖЕНИЯ АvА = А
ДЛЯ УМНОЖЕНИЯ A˄А = A

7. Законы исключения констант
ДЛЯ СЛОЖЕНИЯ Аv1=1, Аv0=0
ДЛЯ УМНОЖЕНИЯ A˄1=А, А˄0=0

8. Закон противоречия
А˄А=0

9. Закон исключения третьего
АvА=1

10. Закон поглощения
ДЛЯ СЛОЖЕНИЯ Аv(А˄В)=А
ДЛЯ УМНОЖЕНИЯ A˄(АvВ)=А

11. Закон исключения (склеивания)
ДЛЯ СЛОЖЕНИЯ (А˄В)v(А˄В)=В
ДЛЯ УМНОЖЕНИЯ (AvB)˄(АvВ)=В