truth table ((p and q) or (p xor q)) equivalent (p or q)