El teorema de De Morgan se puede aplicar tanto a la negación de una disyunción como a la negación de una conjunción en la totalidad o parte de una fórmula.