Esta forma también es equivalente al implica de la negación del término P y la negación del término Q