not((A U B)(AB))