truth table p xnor (q xnor r)