Why a truncated table for logic implication $(p\wedge q) \implies p$ verification? The book Discrete Mathematics by Kenneth A. Ross says: "Let's verify the logic implication $(p\wedge q) \implies p$. For that, we need to consider only just the case when $p\wedge q$ is true; i.e., both, $p$ and $q$, are true. This gives us the truncated table:"

"
Why the author considers that portion of the truth table? What reasoning I must understand to follow that validation technique?
N.B.: The same technique is applied to $(p \rightarrow q) \Rightarrow [(p \vee r) \rightarrow (q \vee r)]$:


The relation $p\rightarrow r$ is logically equivalent to $\neg p\vee r$. So for the case where $p$ is false, $\neg p$ is true and the outcome is then true. So the statement would be false only if $p$ is true and $r$ is false. Now replace this $p$ with $p\wedge q$  and $r$ by $p$ and you have a tautology.
