not-(A or B)