solve (a || b) = (a + b)