(p and q) xnor (p or q)