Definition:Exclusive Or/Truth Function

Definition
The exclusive or connective defines the truth function $f^\oplus$ as follows: