Em Álgebra Booleana, a propriedade distributiva é dada por:

(a OU b) = (b OU a)

a E (a OU b) = a

(a E b) = (b E a)

a OU (a E b) = a

a OU (b E c) = (a OU b) E (a OU c)