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