and(implies(v, not(not(or(v, w)))), not(implies(v, not(not(or(v, w)))))