(A Or B) And Not (A And B)
isn't this just an exclusive or? sometimes indicated by this syntax: A ^ B