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