La disyunción de la proposición P negada y la preposición Q es equivalente a la negación de la conjunción de P y la negación de Q