theorem Th55: :: XBOOLE_1:55

for X, Y being set holds (X \/ Y) \ (X /\ Y) = (X \ Y) \/ (Y \ X)