Usuario:Fercho/ejercicio 3

Encuentre las tablas de verdad para las siguientes expresiones. Establezca en cada caso si la expresión es una contingencia, una tautología o una contradicción.

a) ((p → q) ^ (q → r) ^ (r → p)) → (p ↔ q)

b) p v (￢ ( q v r) ^￢p)

c) (p ^ q ^ r ) v (￢p ^ ￢q ^￢r )

SOLUCIÓN

a) ((p → q) ^ (q → r) ^ (r → p)) → (p ↔ q) Tautología

Archivo:Pensamiento algorítmico tabla3a).jpg

b) p v (￢ ( q v r) ^￢p) Contingencia

Archivo:Pensamiento algorítmico tabla3b).jpg

c) (p ^ q ^ r ) v (￢p ^ ￢q ^￢r ) Contingencia

Archivo:Pensamiento algorítmico tabla3c).jpg