and(and(w, not(w)), not(and(w, not(w)))