If $P$ is true, then $P \lor Q$ is true for any $Q$.

$P \land Q$ is true if both $P$ and $Q$ are true.

If $P \implies Q$ is true and $P$ is true, then $Q$ is true.

$eg(P \land Q) \equiv \neg P \lor \neg Q$.