and(all(r, or(or(not(v), or(not(or(not(w), v)), w)), u)), not(all(r, or(or(not(v), or(not(or(not(w), v)), w)), u)))