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