not a ⋃ not b