Boolean XOR

To represent an XOR gate between A and B, we use the \oplus operator:

A\oplus B