Generar tabla de verdad: [ ( p ∨q ) ∧ ( s ⟶ ∼ r ) ∧ ( r ) ∧ ( ∼ s ⟶ ∼ q ) ] ⟶ ( p )

⌐ (⌐s→⌐r (pvq)˄(s→⌐r) [(pvq)˄(s→⌐r)˄(r)˄(⌐s→⌐q)

p q r s ⌐q r ⌐s (pvq) (s→⌐r) ) (r)˄(⌐s→⌐q) ] [(pvq)˄(s→⌐r)˄(r)˄(⌐s→⌐q)]→(p)
v v v v f f f v f v f v f v
v v v f f f v v v f v f f v
v v f v f v f v v v v f f v
v v f f f v v v v f v f f v
v f v v v f f v f v f v f v
v f v f v f v v v v v v v v
v f f v v v f v v v v f f v
v f f f v v v v v v v f f v
f v v v f f f v f v f v f v
f v v f f f v v v f v f f v
f v f v f v f v v v v f f v
f v f f f v v v v f v f f v
f f v v v f f f f v f v f v
f f v f v f v f v v f v f v
f f f v v v f f v v f f f v
f f f f v v v f v v f f f v
 Resultado de la tabla de la verdad: Tautología
 Generar la tabla de verdad con el simulador Lógica UNAD