Основные законы алгебры-логики

Коммутативный (переместительный) закон

(6) А+В = В+А, А·В = В·А

Ассоциативный (сочетательный) закон

(7) (А+В)+С = А+(В+С), (А·В)·С = А·(В·С)

Дистрибутивный (распределительный) закон

(8) А·(В+С) = А·В+А·С, А+(В·С) = (А+В)·(А+С)

Закон поглощения

(9) А+А·В = А, А·(А+В) = А

Закон склеивания

(10) А·В+А ·В = А, (А+В)·(А+В) = А

Идемпотентный закон

(11) А+А = А А&А = А

Закон двойственности (правила де Моргана)

(12) А+В+С+…+Z = (A · B ·C ·…·Z)A· B ·C· … ·Z = (А+В+С+…+Z)