Usuario:Rafael~eswikibooks/ejercicio 22

DEMOSTRAR: h$\land$t

1. ~(~p$\vee \;$~q)...............p1
2. p$\to \;$(h$\land$t)............p2
3. q$\to \;$(h$\land$t)............p3

__________________________________

4. ~~p$\land$~~q................p4 (regla de morgan p1)

5. ~~p..........................p5 (simplificacion p4)

6. p............................p6. (doble negacion p5)

7. p$\vee \;$q...........................p7 (doble simplificacion p6)

8. (h$\land$t)$\vee \;$(h$\land$t).........p8 (regla del dilema p2,p3,p7)

9. h$\land$t.....................p9 (simplificacion disyuntiva p8)