not(A∩B)