x∈(A-B)∩C
⇔(x∈A-x∈B)かつx∈C
⇔(x∈A∩x∈B^c)かつx∈C
⇔(x∈Aかつx∈B^c)かつx∈C
⇔(x∈Aかつx∈C)-(x∈Bかつx∈C)
⇔(A∩C)-(B∩C)

これで大丈夫ですかね?