Capitulo I - Lógica y Conjuntos - Ejercicios - Formas Proposicionales - Ejercicio 48

Identifique cuál deblas siguientes formas proposicionales es tautológica:

a) ¬ ( ¬ p ^ ¬ q )

b) ¬ ( ¬ p ^ q )

c) p v ( p ^ q )

d) [ p ^ ( p → q )] → q

e) ( p v q ) → ( p ^ q )



Solución: