[ ∼p v (∼q ∧ p)] v [(∼p v ∼q) ∧∼p ] L distri

[ (∼p v ∼q) ∧ (∼p v p)] v [(∼p ∧∼p )v( ∼q∧∼p)]

L comple l imdepotenc
[ (∼p v ∼q) ∧ (V )] v [(∼p )v( ∼q∧∼p)]
L ident l absor
(∼p v ∼q) v (∼p ) l asocia
(∼p v ∼p ) v ∼q l imdepo
∼p v ∼q

{[p ∧ (∼p v q)] ∧ r } v {[r ∧ (q v r)] ∧ q}

L DISTR L ABSOR
{[ (p ∧ ∼p) v(p ∧ q)] ∧ r } v {r ∧ q}
L COMPLE
{[ F v(p ∧ q)] ∧ r } v {r ∧ q} L IDEN
{ (p ∧ q) ∧ r } v {r ∧ q} L asociat l conmuta
(p ∧ (q ∧ r) v {r ∧ q} L INDEPO
(p ∧ (q ∧ r )

{(p ∧ q) v[(∼p ∧ ∼q ) v q] ∧ p} l distribu

{(p ∧ q) v[(∼p v q )∧ (∼q v q )] ∧ p}
l complement
{(p ∧ q) v[(∼p v q )∧ V] ∧ p} l iden
{(p ∧ q) v (∼p v q ) ∧ p} l distr
{(p ∧ q) v (∼p ∧ p )v (q ∧ p) } l comple
{(p ∧ q) v F v (q ∧ p) l iden
{(p ∧ q) v (q ∧ p)} l conmuta
{(p ∧ q) v (p ∧ q)} l indepotencia
(p ∧ q)

{[(∼p v ∼q ) ∧(p v q)] v[(∼p ∧ ∼q )v(p ∧ q) ]} ∧ p

Cambio de variable por l de morgan
∼ (p ∧ q )= ∼t = ∼ (p v q )= ∼ s
{[∼ (p ∧ q ) ∧(p v q)] v[∼ (p vq )v(p ∧ q) ]} ∧ p
{[∼ t ∧ s ] v[∼ s v t ]} ∧ p l asociativa
{[(∼ t ∧ s) v∼ s ] v t } ∧ p l distrib
{[(∼ t v∼ s) ∧ ( s v∼ s) ] v t } ∧ p l co mple
{[(∼ t v∼ s) ∧ V ] v t } ∧p l ident
{(∼ t v∼ s) v t } ∧ p l asociat
{(∼ t v t) v∼ s } ∧ p l complem
{v v ∼ s } ∧ p l identidad
V ∧ p l iden
P