{[ (r ∨s )∨(∼r ∨∼s )] ∧∼ s }∨ { r ∧( p ∨∼r )}

{∼ s ∧{∼ s ∨ [∼ r ∨ ( r ∨ s ) ] }} ∨ {r ∧ (∼ r ∨ p ) }
{∼ s ∧ [ (∼r ∨ r )∨ s ] ∨ ( r ∧ p )

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

⟨ V ∧ {( p ∧ q)∨( p ∨∼q)} ⟩ ∧∼ p
[( p ∧ q)∨( p ∨∼ q) ] ∧∼ P
∼ P ∧ [ ( p ∧q) ∨( p ∨ ∼q) ]

∼ P ∧ [ (∼ q ∨ p) ∨(p ∧ q) ]

∼ P ∧ [ ∼q ∨{ p ∨ ( p ∧ q ) }]

∼ P ∧(∼ q ∨ p)
∼ P ∧ ( p∨ ∼q )
∼ p ∧∼q
 {[ ( p ∨ ∼q)∧(q ∨ ∼ p) ] ∨ [ ( p ∧∼ q ) ∨ ( q ∧∼ p ) ] } ∧( p ∨∼ q)
{[ ( p ∧∼q ) ∨ ( q ∧∼ p ) ] ∨ [(∼ q ∨ p)∧(q ∨∼ p)] } ∧( p ∨∼ q)
⟨ ( p ∧∼q ) ∨{ ( q ∧∼ p ) ∨ [ ( ∼ q ∨ p ) ∧ ( q ∨ ∼ p ) ] }⟩ ∧( p ∨∼q )
⟨ ( p ∧∼q ) ∨{∼ ( ∼ q ∨ p ) ∨ [ ( ∼q ∨ p ) ∧ ( q ∨ ∼ p ) ] }⟩ ∧( p ∨∼ q)
⟨ ( p ∧ ∼ q ) ∨{∼ ( ∼ q ∨ p ) ∨ ( q ∨∼ p ) }⟩ ∧(p ∨∼ q)
( p ∨∼ q) ∧ ⟨ ( p ∧ ∼ q ) ∨{ ( q ∨∼ p ) ∨ ∼ ( ∼ q ∨ p ) }⟩

( p ∨∼ q) ∧ ⟨ {( p ∧∼ q ) ∨ ( q ∨∼ p ) }∨∼ ( ∼ q ∨ p ) ⟩

( p ∨∼ q) ∧ ⟨ {∼ ( ∼ p ∨q ) ∨ ( ∼ p ∨q ) }∨∼ ( ∼ q ∨ p ) ⟩

( p ∨∼ q)∧ ⟨ V ∨ ∼ ( ∼ q ∨ p ) ⟩

( p ∨∼ q) ∧V
p ∨∼ q
{[ (∼ p ∧ ∼ q)∨( p ∨q) ] ∧ [( p ∧ q)∨(∼ p∧ ∼ q) ∨ p ] } ∧ p
{[ p ∨{q ∨ ( ∼ q ∧ ∼ p ) }] ∧ [( p ∧q) ∨(∼ p ∧∼ q)∨ p ]} ∧ p
{[ p ∨ ( q ∨ ∼ p ) ] ∧ [{ p ∨ ( p ∧ q ) }∨(∼ p∧ ∼ q)] } ∧ p
{[ p ∨ ( q ∨ ∼ p ) ] ∧ [ p ∨(∼ p ∧ ∼q)] } ∧ p
{[ p ∨ ( q ∨ ∼ p ) ] ∧( p ∨∼ q)} ∧ p
p ∧ {[ q ∨ ( ∼ p ∨ p ) ] ∧( p ∨∼ q) }

p ∧ { [ q ∨V ] ∧(p ∨ ∼ q) }

p ∧ { V ∧( p ∨∼ q) }

p ∧( p ∨∼ q)
p