truth table (a | b) & (b & c)