(A ⋂ not(B ⋃ C)) ⋂ (B ⋂ not(A ⋃ C)) ⋂ (C ⋂ not(A ⋃ B))