En lógica clásica, puede ser fácilmente verificado con una tabla de verdad.