Tabla de verdad:
Realizar la tabla de valores de las siguientes proposiciones:
E= [(p v q) ∧ (p v r)] ⇔ [p v (q ∧ r)]
p q r [(p v q) ∧ (p v r)] ⇔ [p v (q ∧ r)]
V V V V V V V V V V V V V V V V
V V F V V V V V V F V V V V F F
V F V V V F V V V V V V V F F V
V F F V V F V V V F V V V F F F
F V V F V V V F V V V F V V V V
F V F F V V F F F F V F F V F F
F F V F F F F F V V V F F F F V
F F F F F F F F F F V F F F F F
1 3 2 7 4 6 5 13 11 12 8 10 9
Interpretación: Al evaluar la tabla de verdad del esquema molecular resulta una tautología en
el operador principal.