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