Ответ:

Сначала \((A\lor B)\land(\neg A\lor C)=(A\land C)\lor(\neg A\land B)\lor(B\land C)\). При дизъюнкции с \(\neg B\) последние два слагаемых поглощаются.

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