a~b ~b ~b+ c a + b ~c a ~b ~b ~ b+c a + b~ c