Ejercicio Tautología

Aquí el ejercicio de tautología para la clase de V & V de software. El ejercicio consistía en elaborar una proposición utilzando and, or, negación y repetir cualquiera de los 3 anteriores como mínimo; además se debía utilizar tres variables de entrada.

Proposición:

P = ((p ^ r) v (p v q)) v¬(q ^ r)

Tabla de verdad

p	q	r	(p ^ r)	(p v q)	¬(q ^ r)	(p ^ r) v (p v q)	((p ^ r) v (p v q)) v¬(q ^ r)
0	0	0	0	0	1	0	1
0	0	1	0	0	1	0	1
0	1	0	0	1	1	1	1
0	1	1	0	1	0	1	1
1	0	0	0	1	1	1	1
1	0	1	1	1	1	1	1
1	1	0	0	1	1	1	1
1	1	1	1	1	0	1	1

Representación en árbol