(P∧┓Q)∨(┓P∧Q)=[(P∧┓Q)∨┓P]∧[(P∧┓Q)∨Q)]
=[(P∨┓P)∧(┓Q∨┓P)]∧[(P∨Q)∧(┓Q∨Q)]=
(P ∨Q)∧┓(P ∧Q)