Leyes del álgebra de un conjunto

CONMUTATIVA

ASOCIATIVA

DISTRIBUTIVA

IDEMPOTENCIA

MORGAN

IDENTIDAD

Reducción

Tercer Excluido

A∪A^∁=RE

Contradicción

A∅A^∁=∅

Absorción

A∩∅=∅

A∪RE=Re

Involución

(A^∁)∁=A

Diferencia

A-B=A∩B∁