A logical operator which has the property that if P and Q are two statements, then the statement ``P except Q'' is true only when P alone is true; it is false for the other three combinations (P false Q false, P false Q true, and P true Q true).