TABLA DE LA VERDAD.

Alumno. Luis Eduardo Flores García.

Carrera. Ingeniería en Sistemas.
Carné. 2890-21-12987.
Curso. Lógica de Sistemas.
Problema. 1.
Fecha. 06/03/2021.
Plan Fin de Semana o Plan Sábado.

PROBLEMA. 1.

~[(q Ʌ r) V (r ↔ p)] → [(q → p) Ʌ ~(r ↔ p)]

p q r (q Ʌ r) (r ↔ p) [(q Ʌ r) V (r ↔ p)] (q → p) ~(r ↔ p) [(q → p) Ʌ ~(r ↔ p)] [(q Ʌ r) V (r ↔ p)] → [(q → p) Ʌ ~(r ↔ p)] ~[(q Ʌ r) V (r ↔ p)] → [(q → p) Ʌ ~(r ↔ p)]
1 1 1 1 1 1 1 0 0 0 1
1 1 0 0 0 0 1 1 1 1 0
1 0 1 0 1 1 0 0 0 0 1
1 0 0 0 0 0 0 1 0 1 0
0 1 1 1 0 1 1 1 1 1 0
0 1 0 0 1 1 1 0 0 0 1
0 0 1 0 0 0 1 1 1 1 0
0 0 0 0 1 1 1 0 0 0 1