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