and(not(and(v, w)), not(not(and(v, w)))