Using the truth table, prove that the following compound propositions are logically equivalent: \left(a\land b\right)\vee\left(\lnot a\land b\right)\longrightarrow\ b, and (a\vee b)\land(\lnot a\vee b)\ \longrightarrow\ b