| Коммутативность (перестановка) | А*В=В*А |
| Ассоциативность (сочетание) | А*(В*С)=(А*В)*С |
| Дистрибутивность (распределение) | А^(ВvС)=(А^В)v(А^С) |
| Дистрибутивность (распределение) | Аv(В^С)=(АvВ) ^ (АvС) |
| Идемпотентность | А^А=А, АvА=А |
| Поглощение | Аv(А^В)=А, А^(АvВ)=А |
| А^¬А=0, | Аv¬А=1 |
| Законы Де Моргана: | ¬ (А^В)=( ¬Аv¬В) | ¬ (АvВ)=( ¬А^¬В) |
Приведение операций A→B = ¬АvВ