There is also the exclusive or: "p or q but not both." This can be expressed as (pq)~(pq). Do you see why?