( p É p1) É ((q É q1) Ù(p º ~ q) É p1Úq1)
~ q É ~ (p É q)Ú ~ p
q É (p É (q É r) É (p É r))
( p º q) Ù ~ (p º r) É ~ (q º r)
p É q É p É p
( pÚ ~ p) Ù( ~ qÚq)
( p º r)Ú(q º r1) É (p Ùq É r Úr1)
( p É q Ù(rÚr1) ) Ù ~ (p É r1) É (p É q) Ù(p É r)
~ (p Ùq) É ~ p Ú ~ q
p Ùq É r É (p É (q É r))
( p É q Ùr) Ù( p1 É q1Ùr) É (p Ùp1 É q Ùr Ùq1)
p É ((q É q) É r) É ((q É q) É (p É r))
~ p Ú ~ q É ~ (p Ùq)
p É (q É r) É (p Ùq É r)
( p É q Ùr) Ú( p1 É q1Ùr) É (p Ùp1 É q Úq1)
q É ( ~ (q É r) É ~ p É (p É r))
( p É q Ùr) Ú( p1 É q1Ùr) É (p Ùp1 É q Úq1)
( p É q Ùr) Ù( p1 É q1Ùr) É (p Ùp1 É q Ùr Ùq1)