Let P, Q, R and S be Propositions. Assume that the equivalences \(P\leftrightarrow(Q \vee \;\neg\; Q)\) and \(Q \leftrightarrow R\) hold. Then the truth value of the formula \(\left( {P \wedge Q} \right) \Rightarrow \left( {\left( {P \wedge R} \right) \vee S} \right)\) is always:

• A. True
• B. False
• C. Same as truth table of Q
• D. Same as truth table of S