Los teoremas de DeMorgan se utilizan cuando se desea que en una expresión algebraica aparezca un único tipo de operación (suma o producto lógico).