1.
(((x<->x3) \/ x2) /\ -x2 ) \/ (((x<->x3) \/ x2) /\ (x1<->x3))