a ^ ((c ^ a) & b