(A Or B) And Not (A And B)
If you have Xor or equality in your atomic operations, yes, it is exactly the former or the negation of the latter.