##Match up the following propositional equivalences: #$p \wedge \m T$ $\Leftrightarrow$ $p$ (Conjunction Identity law) #$p \vee \m F$ $\Leftrightarrow$ $p$ (Disjunction Identity law) #$p \vee \m T$ $\Leftrightarrow$ $\m T$ (Domination law) #$p \wedge \m F$ $\Leftrightarrow$ $\m F$ (Domination law) #$p \vee p$ $\Leftrightarrow$ $p$ (Disjunction Idempotent law) #$p \wedge p$ $\Leftrightarrow$ $p$ (Conjunction Idempotent law) #$\neg\neg p$ $\Leftrightarrow$ $p$ (Double negation law) #$p \wedge q$ $\Leftrightarrow$ $q\wedge p$ (Commutative law) #$p \vee q$ $\Leftrightarrow$ $q\vee p$ (Commutative law) #$(p \wedge q)\wedge r$ $\Leftrightarrow$ $p\wedge (q\wedge r)$ (Associative law) #$(p \vee q)\vee r$ $\Leftrightarrow$ $p\vee (q\vee r)$ (Associative law) #$p \vee (q\wedge r)$ $\Leftrightarrow$ $(p\vee q)\wedge(p\vee r)$ (Distributive law) #$p \wedge (q\vee r)$ $\Leftrightarrow$ $(p\wedge q)\vee(p\wedge r)$ (Distributive law) #$\neg(p \wedge q)$ $\Leftrightarrow$ $\neg p\vee\neg q$ (De Morgan's law) #$\neg(p \vee q)$ $\Leftrightarrow$ $\neg p\wedge\neg q$ (De Morgan's law)