not not(notAandB)