Usuario:Andresgarcia87/ejercicio1solucion

1) ¬(¬P ^ ¬Q) Premisa

2) ¬(¬P) ^ ¬(¬Q) Ley de De Morgan

3) P v Q Doble Negación

P	Q	¬P	¬Q	¬P ^ ¬Q	¬(¬P ^ ¬Q)
V	V	F	F	F	V
V	F	F	V	F	V
F	V	V	F	F	V
F	F	V	V	V	F

P	Q	P v Q
V	V	V
V	F	V
F	V	V
F	F	F

---

Luego:

¬(¬P ^ ¬Q) ≡ P v Q

Y es demostrado por leyes y por tablas de verdad