Ir al contenido

Usuario:Rafael~eswikibooks/ejercicio 22

De Wikilibros, la colección de libros de texto de contenido libre.

DEMOSTRAR: ht

  1. ~(~p~q)...............p1
  2. p(ht)............p2
  3. q(ht)............p3

__________________________________

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

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

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

7. pq...........................p7 (doble simplificacion p6)

8. (ht)(ht).........p8 (regla del dilema p2,p3,p7)

9. ht.....................p9 (simplificacion disyuntiva p8)