1. (q → p)→ [ ( p ∨q) →(q ∧− p) ]…..

7ª (3 veces)

−(−q ∨ p)∨ [ −( p ∨q)∨(q ∧− p) ]…..6ª (2 veces)

(q ∧− p) ∨ [ (− p ∧−q) ∨(q ∧− p) ]…..4ª

(q ∧− p) ∨ [ − p ∧(−q ∨q) ]…..11f

(q ∧− p) ∨(− p ∧V )….11d
(q ∧− p) ∨−p …5b
-p

2. [ ( p → p)∨q ] ∧ [−q ∨(r ∧ p) ] ∧ [ p →( p ∨−q) ]….7ª (2 veces)

[ (−p ∨ p)∨q ] ∧ [−q ∨(r ∧ p)] ∧ [ − p ∨( p ∨−q) ]…..11f y 2b

[ V ∨ q ] ∧ [ −q ∨(r ∧ p) ] ∧ [ (−p ∨ p ) ∨−q ¿ ]…..11f y 11b
[ V ] ∧ [−q ∨(r ∧ p) ] ∧ [ V ∨−q¿ ]…11b
[ V ] ∧ [−q ∨(r ∧ p) ] ∧ [ V ] …2ª
( [ V ] ∧ [ V ] ) ∧ [ −q ∨(r ∧ p) ] …11
V ∧ [−q ∨ ( r ∧ p ) ] … … 11 d

−q ∨ ( r ∧ p )
−[ p ∨−( p ↔ q ) ] →(q ∨− p)….8b

−{ p ∨−[ ( p ∧ q)∨(− p ∧−q) ] } →(q ∨− p)….7ª

−− { p ∨−[ ( p ∧ q)∨(− p ∧−q) ] } ∨(q ∨− p)….12ª

{ p ∨−[( p ∧ q)∨(− p ∧−q)] } ∨( q ∨− p)…..6ª y 6b

{ p ∨ [ (−p ∨−q)∧( p ∨q)] } ∨(q ∨− p)…2b
[ p ∨(− p ∨−q) ] ∧ [ ( p ∨ q)∨(q ∨− p) ]…..2b
[ p ∨(− p ∨−q) ] ∧ [ ( p ∨− p)∨( q ∨q) ]….11e(2 veces) , 2b
[ ( p ∨− p)∨−q¿ ] ∧ [( p ∨− p)∨(q ∨ q) ]…11e y 2b
[ V ∨−q¿ ] ∧ [ V ∨ q ]….11b
V ∨V
V
−[ p ∨−( p ↔ q ) ] →−(q ∨− p)….