소문제 1번 논리식 간략화에서 AB^C^ 를 추가하여 논리식을 풀었는데요

혹시 추가 할때 추가하는 논리식 공식이 있는지요?

아니면 문맥을 보고 본인이 알아서 AB^C^를 추가 해야 하는지요?