Demostrar las identidades de Morgan ; esto es, en un retículo distributivo,
si a y b tienen como complementos 
y
, respectivamente,
entonces a
b
y a
b
tienen como complementos :
)
sea el complemento de (ab)
se tiene que cumplir
y tenemos :
por lo tanto se cumple la primera ecuación. Además:
Con esto queda demostrado el teorema ya que para la otra operación el proceso es totalmente análogo.
y
, respectivamente,
entonces ab
y ab
tienen como complementos :
RespuestaPara que (
)
sea el complemento de (ab)
se tiene que cumpliry tenemos :
por lo tanto se cumple la primera ecuación. Además:
Con esto queda demostrado el teorema ya que para la otra operación el proceso es totalmente análogo.