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