I'm going through the exercises in the book Discrete Mathematics with Applications. I'm asked to show that two circuits are equivalent by converting them to boolean expressions and using the laws in this table.
$$\begin{array}{lcc} \hphantom{1}\mathsf{1.\; Commutative\; laws:} & p\land q \equiv q\land p & p\lor q \equiv q\lor p\\ \hphantom{1}\mathsf{2.\; Associative\; laws:} & (p\land q)\land r \equiv p\land (q\land r) & (p\lor q)\lor r \equiv p\lor (q\lor r)\\ \hphantom{1}\mathsf{3.\; Distributive\; laws:} & p\land (q\lor r) \equiv (p\land q)\lor (p\land r) & p\lor (q\land r) \equiv (p\lor q)\land (p\land r)\\ \hphantom{1}\mathsf{4.\; Identity\; laws:} & p\land t \equiv p & p\lor c \equiv p\\ \hphantom{1}\mathsf{5.\; Negation\; laws:} & p\lor \lnot p \equiv t & p\land \lnot p \equiv c\\ \hphantom{1}\mathsf{6.\; Double\; negative\; law:} & \lnot(\lnot p) \equiv p &\\ \hphantom{1}\mathsf{7.\; Idempotent\; laws:} & p\land p \equiv p & p\lor p \equiv p\\ \hphantom{1}\mathsf{8.\; Universal\; bound\; laws:} & p\lor t \equiv t & p\land c\equiv c\\ \hphantom{1}\mathsf{9.\; De\; Morgan}\text{'}\mathsf{s\; laws:} & \lnot(p\land q) \equiv \lnot p\lor \lnot q & \lnot(p\lor q) \equiv \lnot p\land\lnot q\\ \mathsf{10.\; Absorption\; laws:} & p\lor (p\land q) \equiv p & p\land (p\lor q) \equiv p\\ \mathsf{11.\; Negations\; of\; t\; and\; c:} & \lnot t \equiv c & \lnot c \equiv t\\ \end{array}$$
so as which law/s of logical equivalence says $P\Leftrightarrow Q ≡ (P\lor Q) \Rightarrow(P\land Q)$
I can see their equivalence clearly with a truth table. But the book is asking me to show it using the equivalence laws in the above table, and I can't see how any of them apply here. So, do any of those laws apply here in a way I'm not understanding? Or is there some other known law that does apply here?