Ответ:

Выражение уже записано в виде дизъюнкции конъюнкций; дополнительных упрощений нет.

Ответ: \((A\land\neg C)\lor(\neg B\land C)\).