((a | -a) & (b | -b))