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