SIMPLIFICAR LAS SIGUIENTES FORMULAS PROPOSICIONALES UTILIZANDO LAS LEYES

LÓGICAS

1. (p → q) ^ (~p → q)
2. (q ^ p) ν [~ (~p ν q)]
3. (p ↔ q) ν (p ν q)
4. [(~ p ν q) ^ (~ q → p)] ν (p ^ ~ q)
5. [p → (p ^ r)] ^ [~ p → (p ^ r)]
6. [(q → p) ^ (~ p → q)] → ~ (p ν ~ q)
7. (q → p) → [(p ν q) → (q ^ ~ p)]
8. (p → q) ^ (p ↔ q)
9. (p ↔ q) ν p
10. [p ν (p ^ r)] → [(p → r) ^ ~ r]
11. [(p ↔ q) → p] ν (p ν q)
12. {[q ν (~ q ^ r)] ν [ p → (p ν r)]} → p
13. {[(p ^ ~ r) v (r ^ p)] ^ ~ q} v [~ p ^ (~ p v r)]
14. {~ t v [S v ~ (t ^ S)]} ^ ~ [~ (t v r) v (~ s v t)]
15. { p v [ q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)]
16. ~ [(p ^ r) → q] → ~ (p → q)
17. {[p ^ (p → q)] → q}
18. (~ p → r) ^ [(p ^ ~ r) √ (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r)
19. ~ [p ^ ~ (p ^ ~ q)] → ~ (q v ~p)
20. [q ^ (q → ~ p)] → ~ (p ^ q)