Simplificar las siguientes fórmulas proposicionales a través de las
leyes lógicas
1. ~ [p ^ ~ (p ^ ~ q)] → ~ (q v ~p)
2. (~ p → r) ^ [(p ^ ~ r) √ (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r)
3. {[p ^ (p → q)] → q}
4. ~ [(p ^ r) → q] → ~ (p → q)
5. { p v [ q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)]
6. {~ t v [S v ~ (t ^ S)]} ^ ~ [~ (t v r) v (~ s v t)]
7. {[(p ^ ~ r) v (r ^ p)] ^ ~ q} v [~ p ^ (~ p v r)]
8. {[q ν (~ q ^ r)] ν [p → (p ν r)]} → p
9. [(p ↔ q) → p] ν (p ν q)
10.[p ν (p ^ r)] → [(p → r) ^ ~ r]
11. (p ↔ q) ν p
12.(p → q) ^ (p ↔ q)
13.(q → p) → [(p ν q) → (q ^ ~ p)]
14.[(q → p) ^ (~ p → q)] → ~ (p ν ~ q)
15.(p ↔ q) ν (p ν q)
16.[(~ p ν q) ^ (~ q → p)] ν (p ^ ~ q)
17.[p → (p ^ r)] ^ [~ p → (p ^ r)]
18.[q ^ (q → ~ p)] → ~ (p ^ q)
