MHT CET · Maths · Mathematical Reasoning

If p and q true and r and s are false statements, then which of the following is true?

A $(q \land r) \lor (\sim p \land s)$
B $(\sim p \to q) \to (r \land s)$
C $(p \to q) \lor (r \leftrightarrow s)$
D $(p \land \sim r) \land (\sim q - \lor s)$

Verified Solution

Answer & Solution

Correct Answer

(C) $(p \to q) \lor (r \leftrightarrow s)$

Step-by-step Solution

Detailed explanation

We have statements

p, q \to T

and

r, s \to F

Option (a)

(q \land r) \lor (\sim p \land s) \equiv (T \land F) \lor (F \land F)

\equiv F \lor F \equiv F

Option (b)

(\sim p \to q) \leftrightarrow (r \land s) \equiv (p \lor q) \to (r \lor s)

(∵ p \to q \equiv \sim p \lor q)

\equiv (\sim p v q) \lor (r \land s) \land ((p \lor q) \lor (\sim r \land s))

(∵ p \leftrightarrow q \equiv (\sim p \lor q) \land (p v - q))

\equiv (\sim (T \lor T) \lor (F \land F) \land ((T \lor F) \lor (F \land F)))

\equiv (F \lor F) \land (T \lor T) \equiv F \land T \equiv F

Option (c)

(p \to q) \lor (r \leftrightarrow s)

\equiv (\sim p \lor q) \lor ((\sim r \lor s) \land (r \lor \sim s)) (∵ p \to q \equiv \sim p \lor q)

\equiv (F \lor T) \lor ((T \lor F) \land (F \lor T))

\equiv T \lor (T \land T) \equiv T \lor T \equiv T

Option (d) do similar as option (a).

Apply the relevant identity from the chapter and substitute the values established in the previous step, keeping the original constraint in view.

Use the simplified expression to isolate the unknown, then plug the result back into the question setup to confirm the working is internally consistent.

Cross-check against a boundary or limiting case. Both the dimensional balance and the qualitative behaviour at the extreme should agree with the candidate answer.

Combine the steps above to identify the correct option. The remaining choices each fail at least one of the consistency, dimensional, or boundary checks.

Same subject

Explore more questions on app

From MHT CET

Explore more questions on app