JEE MainMathematics

Reviewed by official_key

+4 marks−1 if incorrectSingle correctpyq

Mathematical Reasoning: Mathematics | JEE Main

Q: How do we instantly see that S1 is a tautology without writing all 4 rows?

Recall the negation of implication: . Letting , the expression is simply , which is identically True.

(S1)

(p \Rightarrow q) \vee (p \wedge (\sim q))

is a tautology (S2)

((\sim p) \Rightarrow (\sim q)) \wedge ((\sim p) \vee q)

is a contradiction. Then

Your answer stays private

What feels right?

No score. Commit to your first instinct. We’ll show what your mind noticed and what it missed.

Aboth (S1) and (S2) are correctBonly (S1) is correctConly (S2) is correctDboth (S1) and (S2) are wrong

Step-by-step solutionView

Correct answer

Statement (S1) simplifies to $A \vee \sim A$ , making it a tautology, while (S2) simplifies to $q \vee \sim p$ , which is a contingency rather than a contradiction; thus only (S1) is correct.

Option analysis

Why each option works or fails

A · both (S1) and (S2) are correct

Believing that (S2) simplifies to false (a contradiction) because the implication antecedent $\sim p$ cancels out or contradicts the disjunction $\sim p \vee q$ . Express $((\sim p) \Rightarrow (\sim q))$ as $(p \vee \sim q)$ and $((\sim p) \vee q)$ as $(p \Rightarrow q)$ , or test truth values: when $p$ and $q$ are both false, (S2) evaluates to true, so it cannot be a contradiction.

B · only (S1) is correct

None. The student correctly applies propositional equivalences to identify (S1) as a tautology and (S2) as a contingency. Correct: $\sim(p \Rightarrow q) \equiv p \wedge \sim q$ , so (S1) has the form $A \vee \sim A \equiv T$ . For (S2), when $p = F$ and $q = F$ , $(T \Rightarrow T) \wedge (T \vee F) \equiv T \wedge T \equiv T$ , so it is not a contradiction.

C · only (S2) is correct

Failing to recognize that $p \wedge \sim q$ is the exact negation of $p \Rightarrow q$ , mistaking (S1) for a contingent statement while miscalculating (S2) as identically false. Recall the negation of conditional statement: $\sim(p \Rightarrow q) \equiv p \wedge \sim q$ . Therefore, $(p \Rightarrow q) \vee (p \wedge \sim q)$ is always true.

D · both (S1) and (S2) are wrong

Misapplying De Morgan's laws or conditional negation, incorrectly deducing that (S1) does not cover all truth assignments. Check truth values systematically or use algebraic duality: an expression of the form $X \vee \sim X$ is unconditionally a tautology by the law of excluded middle.

Reviewed route

Solution

StepWorking

01given

Two statements: (S1) $(p \Rightarrow q) \vee (p \wedge \sim q)$ (S2) $((\sim p) \Rightarrow (\sim q)) \wedge ((\sim p) \vee q)$

02goal

Determine whether S1 is a tautology (always True) and whether S2 is a contradiction (always False).

03approach

Evaluate truth tables for both statements across all 4 combinations of $(p, q) \in \{T, F\}^2$ . Alternatively, use basic Boolean algebra properties.

04execute

For statement S1: note that $p \wedge \sim q \equiv \sim (p \Rightarrow q)$ . Thus the expression is $(p \Rightarrow q) \vee \sim(p \Rightarrow q)$ . By the Law of Excluded Middle ( $A \vee \sim A \equiv T$ ), this statement evaluates to $T$ for all possible truth values of $p$ and $q$ . Therefore, S1 is a tautology. S1 is correct.

05execute

For statement S2: let $p = T$ and $q = T$ . Then $\sim p = F$ and $\sim q = F$ . The first conjunct is $(\sim p \Rightarrow \sim q) = (F \Rightarrow F) = T$ . The second conjunct is $(\sim p \vee q) = (F \vee T) = T$ . Thus, S2 evaluates to $T \wedge T = T$ . Since S2 can be True, it is not a contradiction (a contradiction must be False for all assignments). Hence, S2 is incorrect.

✓verify

Check S2 with truth table: when $(p, q) = (F, F)$ , $\sim p = T, \sim q = T \implies (T \Rightarrow T) \wedge (T \vee F) = T \wedge T = T$ . S2 has truth values $(T, F, F, T)$ , confirming it is a contingency, not a contradiction. Hence, only (S1) is correct.

✓ Source and academic review

Question type: Single correct
Exam relevance: JEE Main · Mathematics
Concepts assessed: Mathematics
Academic status: Reviewed by official_key
Source: pyq
Editorial review: 9 September 2026

Quick checks

Students also ask

How do we instantly see that S1 is a tautology without writing all 4 rows?

Recall the negation of implication: $\sim(p \Rightarrow q) \equiv p \wedge \sim q$ . Letting $A = p \Rightarrow q$ , the expression is simply $A \vee \sim A$ , which is identically True.

Answer

Statement (S1) simplifies to $A \vee \sim A$ , making it a tautology, while (S2) simplifies to $q \vee \sim p$ , which is a contingency rather than a contradiction; thus only (S1) is correct.

Why each option works or fails

A: both (S1) and (S2) are correct - Believing that (S2) simplifies to false (a contradiction) because the implication antecedent $\sim p$ cancels out or contradicts the disjunction $\sim p \vee q$ . Express $((\sim p) \Rightarrow (\sim q))$ as $(p \vee \sim q)$ and $((\sim p) \vee q)$ as $(p \Rightarrow q)$ , or test truth values: when $p$ and $q$ are both false, (S2) evaluates to true, so it cannot be a contradiction.
B · correct: only (S1) is correct - None. The student correctly applies propositional equivalences to identify (S1) as a tautology and (S2) as a contingency. Correct: $\sim(p \Rightarrow q) \equiv p \wedge \sim q$ , so (S1) has the form $A \vee \sim A \equiv T$ . For (S2), when $p = F$ and $\sim p$ , $(T \Rightarrow T) \wedge (T \vee F) \equiv T \wedge T \equiv T$ , so it is not a contradiction.
C: only (S2) is correct - Failing to recognize that $p \wedge \sim q$ is the exact negation of $p \Rightarrow q$ , mistaking (S1) for a contingent statement while miscalculating (S2) as identically false. Recall the negation of conditional statement: $\sim(p \Rightarrow q) \equiv p \wedge \sim q$ . Therefore, $(p \Rightarrow q) \vee (p \wedge \sim q)$ is always true.
D: both (S1) and (S2) are wrong - Misapplying De Morgan's laws or conditional negation, incorrectly deducing that (S1) does not cover all truth assignments. Check truth values systematically or use algebraic duality: an expression of the form $X \vee \sim X$ is unconditionally a tautology by the law of excluded middle.

Step-by-step solution

given: Two statements: (S1) $(p \Rightarrow q) \vee (p \wedge \sim q)$ (S2) $((\sim p) \Rightarrow (\sim q)) \wedge ((\sim p) \vee q)$
goal: Determine whether S1 is a tautology (always True) and whether S2 is a contradiction (always False).
approach: Evaluate truth tables for both statements across all 4 combinations of $(p, q) \in \{T, F\}^2$ . Alternatively, use basic Boolean algebra properties.
execute: For statement S1: note that $p \wedge \sim q \equiv \sim (p \Rightarrow q)$ . Thus the expression is $(p \Rightarrow q) \vee \sim(p \Rightarrow q)$ . By the Law of Excluded Middle ( $A \vee \sim A \equiv T$ ), this statement evaluates to $T$ for all possible truth values of $p$ and $q$ . Therefore, S1 is a tautology. S1 is correct.
execute: For statement S2: let $p = T$ and $q = T$ . Then $\sim p = F$ and $\sim q = F$ . The first conjunct is $(\sim p \Rightarrow \sim q) = (F \Rightarrow F) = T$ . The second conjunct is $(\sim p \vee q) = (F \vee T) = T$ . Thus, S2 evaluates to $T \wedge T = T$ . Since S2 can be True, it is not a contradiction (a contradiction must be False for all assignments). Hence, S2 is incorrect.
verify: Check S2 with truth table: when $(p, q) = (F, F)$ , $\sim p = T, \sim q = T \implies (T \Rightarrow T) \wedge (T \vee F) = T \wedge T = T$ . S2 has truth values $(T, F, F, T)$ , confirming it is a contingency, not a contradiction. Hence, only (S1) is correct.

Shortcut:

When to use it: Fastest when familiar with standard equivalences: $\sim(p \Rightarrow q) \equiv p \wedge \sim q$ and contrapositive laws.

given: Expressions $(p \Rightarrow q) \vee (p \wedge \sim q)$ and $((\sim p) \Rightarrow (\sim q)) \wedge ((\sim p) \vee q)$ .

goal: Verify if S1 is a tautology and S2 is a contradiction using propositional algebra.

approach: Apply standard logical identities: $A \Rightarrow B \equiv \sim A \vee B$ and $\sim(A \Rightarrow B) \equiv A \wedge \sim B$ .

execute: S1 is of the form $X \vee \sim X$ where $X = (p \Rightarrow q)$ , which simplifies directly to $T$ (tautology). For S2, $(\sim p \Rightarrow \sim q) \equiv p \vee \sim q$ . Thus S2 is $(p \vee \sim q) \wedge (\sim p \vee q) \equiv (p \Leftrightarrow q)$ . The biconditional $p \Leftrightarrow q$ is true when $p$ and $q$ have the same truth value, so it is neither a tautology nor a contradiction.

verify: Since S1 is always $T$ , S1 is correct. Since S2 is $p \Leftrightarrow q$ , it is True for $(T,T)$ and $(F,F)$ , so it is not a contradiction. Hence, S2 is wrong. Only (S1) is correct.

Mathematical Reasoning: Mathematics | JEE Main

What feels right?

Statement (S1) simplifies to $A \vee \sim A$ , making it a tautology, while (S2) simplifies to $q \vee \sim p$ , which is a contingency rather than a contradiction; thus only (S1) is correct.

Why each option works or fails

Solution

01given

02goal

03approach

04execute

05execute

✓verify

We think you should solve this next

Among the statements : (S1)…

Consider the following statements: $\mathrm{P} : \text{I have fever}$ …

Let $\Delta, \nabla \in \{\wedge, \vee\}$ be such that…

Students also ask

Mathematical Reasoning: Mathematics | JEE Main

Statement (S1) simplifies to A∨∼AA \vee \sim AA∨∼A, making it a tautology, while (S2) simplifies to q∨∼pq \vee \sim pq∨∼p, which is a contingency rather than a contradiction; thus only (S1) is correct.

01given

02goal

03approach

04execute

05execute

✓verify

Among the statements : (S1)…

Consider the following statements: P:I have fever\mathrm{P} : \text{I have fever}P:I have fever…

Let Δ,∇∈{∧,∨}\Delta, \nabla \in \{\wedge, \vee\}Δ,∇∈{∧,∨} be such that…

Students also ask

Statement (S1) simplifies to $A \vee \sim A$ , making it a tautology, while (S2) simplifies to $q \vee \sim p$ , which is a contingency rather than a contradiction; thus only (S1) is correct.

Consider the following statements: $\mathrm{P} : \text{I have fever}$ …

Let $\Delta, \nabla \in \{\wedge, \vee\}$ be such that…