Es decir, es verdadera cuando ambas son verdaderas.