Законы логических операций

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

А*В=В*А

Ассоциативность (сочетание)

А*(В*С)=(А*В)*С

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

А^(ВvС)=(А^В)v(А^С)

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

Аv(В^С)=(АvВ) ^ (АvС)

Идемпотентность

А^А=А, АvА=А

Поглощение

Аv(А^В)=А, А^(АvВ)=А

А^¬А=0,

Аv¬А=1

Законы Де Моргана:

¬ (А^В)=( ¬Аv¬В)

¬ (АvВ)=( ¬А^¬В)