y puede definirse como la fórmula lógicaformula_1.En efecto, si analizamos su tabla de valores de verdad: