Así, podemos reducir esta proposición a la sentencia "Falso cuando "P" y no "Q"" (es decir, "Verdadero cuando "P" no es el caso y no "Q""):