Q18

Show that proposition $C$ is a logical consequence of the formula

$$A\wedge \left(A \to \left(B \vee C\right)\right) \wedge \left( B \to \neg A\right)$$

using truth tables.