Por la regla de separación podremos concluir "Y", de forma independiente como verdad.