面倒なので1つずつだけ
(1)x∈A∪B ⇔ x∈Aまたはx∈B
⇔ x∈Bまたはx∈A
⇔ x∈B∪A
(2)x∈(A∪B)∪C ⇔ x∈A∪Bまたはx∈C
⇔ x∈Aまたはx∈Bまたはx∈C
⇔ x∈Aまたはx∈B∪C
⇔ x∈A∪(B∪C)
(3)x∈A∪φ ⇔ x∈Aまたはx∈φ
⇔ x∈A
(5)(A-B)∪(A∩B)∪(B-A)
=(A-B)∪((A∪(B-A))∩(B∪(B-A))) (4)より
=(A-B)∪((A∪B)∩B)
=(A-B)∪B=A∪B