Czy prawdziwe są następujace równości

[aqlec]

Czy prawdziwe są następujace równości: ( x oznacza iloczun kartezjanski)
1) (A∩B)xC =(AxC)∩(BxC)
2) (AxB)∪(CxD)=(A∪C)x(B∪D)
3) (AxB)∩(CxD)=(A∩C)x(B∩D)

1) pierwsza zrobilam tak:
L=P
(x,y)∊L⇔(x∊A∧x∊B)∧y∊C⇔x∊A∧x∊B∧y∊∧C
(x,y)∊P⇔(x∊A∧y∊C)∧(x∊B∧y∊C)⇔x∊A∧x∊B∧y∊C
czyli L=P

ale nie wiem jak z pozostałymi Prosze o pomoc.