Tabla de la Verdad

p q r p→r (p∧q) → ¬r (¬p→q):

V V V V V F
V V F V V F
V F V F V F
V F F F F F
F V V V V V
{(p → r) ∧[ (p∧q) → ¬r ]∧ (¬p→q)}
V
V
F
F
V