and(or(implies(not(u), or(not(u), u)), u), not(or(implies(not(u), or(not(u), u)), u))