La disyunción de dos proposiciones es equivalente a la negación de la conjunción de la negación de P y la negación de Q