(a | b) ^ (a | c)