I need to know what's the next step of (NOT A)(NOT B)(C) + B. In your answer, you are saying that I need to expand the right side... but in a real exercise, I wouldn't know what the right side would look like
Expand B as B = (any boolean expression whatsoever)B + B. Here we'll use B = (¬A)(C)(B) + B. Then the left hand side becomes (¬A)(¬B)(C) + (¬A)(C)(B) + B. Combine the first two terms and simplify to yield (¬A)(C).