[cmp] Add Xor alternative

Add the other xor alternative using De Morgan law on the first one.