Exclusive Or with Tautology/Proof 1