and(and(not(v), not(implies(not(v), v))), not(and(not(v), not(implies(not(v), v))))