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