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

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

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

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

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

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

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

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

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

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