(p or q) and not(p and q)