(p xor q) or (p and q) and (not p or r)