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