This should be pretty easy, but I don't know how to turn the conditional statement into a tauntology.
The statement is:
$$ (p \land q) \to p$$
I am able to turn it into:
$$ (\lnot p \lor \lnot q) \lor p$$
But now what?
This should be pretty easy, but I don't know how to turn the conditional statement into a tauntology.
The statement is:
$$ (p \land q) \to p$$
I am able to turn it into:
$$ (\lnot p \lor \lnot q) \lor p$$
But now what?
Continue:
$$\begin{align} (\lnot p \lor \lnot q) \lor p &\equiv p \lor (\lnot p \lor \lnot q) \\ & \equiv (p \lor \lnot p) \lor \lnot q \\ & \equiv \top \lor \lnot q \\ &\equiv \top \end{align}$$