---- ((a | b) ^ c) & d ---- ((a | b) ^ c) & d