@rustic lynx
i think this is the rough idea,
for any, a in A, b in B, c in C, d in D,
elements on the LHS are eithen in (A x B) or (C x D) hence they look like (a, b) or (c, d)
take (a, b) then check if its in the right hand side,
because a is in (A or C) and b is in (B or D),
(a, b) is in the RHS,
similar argument for elements which look like (c, d) on the left hand side
(hence this shows the LHS is a subset of the RHS)
to check for equality/inequality, try and find elements on the RHS that are not in the LHS. might be useful to write out examples of elements of the right hand side in terms of a, b, c and d