Como transformar logicamente \( (A \land \lnot B) \to C \) em uma fórmula equivalente usando apenas ¬ e ∨?

¬A ∨ B ∨ C

Explicação:
Use a equivalência do condicional \(X\to Y \equiv \lnot X \lor Y\) com \(X=(A\land\lnot B)\) e \(Y=C\).
Negando o antecedente por De Morgan: \(\lnot(A\land\lnot B)\equiv \lnot A\lor B\).
Portanto \((A\land\lnot B)\to C \equiv (\lnot A\lor B)\lor C \equiv \lnot A\lor B\lor C.

Exemplo:
Sejam \(R\): está chovendo, \(S\): há guarda-chuva, \(T\): permanece seco.
A sentença \((R\land\lnot S)\to T\) é equivalente a \(\lnot R\lor S\lor T\), pois
\((R\land\lnot S)\to T \equiv \lnot(R\land\lnot S)\lor T \equiv (\lnot R\lor S)\lor T \equiv \lnot R\lor S\lor T\).
Em linguagem natural: não está chovendo ou há guarda-chuva ou permanece seco.