(AB)C=(AB∪C)-(AB∩C)=((A∪B)-(A∩B))∪C-((A∪B)-(A∩B))∩C
=A∪B∪C-A∩B∪C-A∪B∩C+A∩B∩C=A∪((B∪C)-(B∩C))-A∩((B∪C)-(B∩C))
=A∪BC-A∩BC=A(BC)
(AB)C=(AB∪C)-(AB∩C)=((A∪B)-(A∩B))∪C-((A∪B)-(A∩B))∩C
=A∪B∪C-A∩B∪C-A∪B∩C+A∩B∩C=A∪((B∪C)-(B∩C))-A∩((B∪C)-(B∩C))
=A∪BC-A∩BC=A(BC)