(Solved): Verify the following logical equivalence (using the logical equivalences provided in the formula sh ...

Verify the following logical equivalence (using the logical equivalences provided in the formula sheet) - \[ ((P \wedge \sim Q) \rightarrow(P \vee Q)) \equiv T \] Given statement form: \[ \begin{array}{l} \equiv \sim(P \wedge \sim Q) \vee(P \vee Q) \text { [value1] } \\ \equiv(\sim P \vee \sim(\sim Q)) \vee(P \vee Q) \text { [value } 2] \\ \equiv(\sim P \vee Q) \vee(P \vee Q)[\text { value3] } \\ \equiv(\sim P \vee P) \vee(Q \vee Q) \text { [value4] } \\ \equiv(P \vee \sim P) \vee(Q \vee Q) \text { [value5] } \\ \equiv T \vee(Q \vee Q)[\text { value6] } \\ \equiv T \vee Q[\text { value7] } \\ \equiv Q \vee T \text { [value8] } \\ \equiv T \text { [value9] } \end{array} \]