I need an algebraic solution to show this is a tautology:
$\displaystyle [(p\lor q) \land (p \rightarrow r) \land (q \rightarrow r)] \rightarrow r$.
Thanks
I need an algebraic solution to show this is a tautology:
$\displaystyle [(p\lor q) \land (p \rightarrow r) \land (q \rightarrow r)] \rightarrow r$.
Thanks