Which of the following statement pattern is a tautology? $\begin{array}{l} \mathrm{S}_{1} \equiv(\sim \mathrm{q} \wedge \mathrm{p}) \wedge \mathrm{q} \ \mathrm{S}_{2} \equiv[\mathrm{p} \wedge(\mathrm{p} ightarrow \mathrm{q})] ightarrow \mathrm{q} \ \mathrm{S}_{3} \equiv(\mathrm{p} \wedge…

Question

Which of the following statement pattern is a tautology? $\begin{array}{l} \mathrm{S}_{1} \equiv(\sim \mathrm{q} \wedge \mathrm{p}) \wedge \mathrm{q} \ \mathrm{S}_{2} \equiv[\mathrm{p} \wedge(\mathrm{p} ightarrow \mathrm{q})] ightarrow \mathrm{q} \ \mathrm{S}_{3} \equiv(\mathrm{p} \wedge \mathrm{q}) \wedge(\sim \mathrm{p} \vee \sim \mathrm{q}) \ \mathrm{S}_{4} \equiv(\mathrm{p} \wedge \mathrm{q}) ightarrow \mathrm{r} \end{array}$

Aicharya · Accepted Answer

All the entries in column 10 are $\mathrm{T} \Rightarrow \mathrm{S}_{2}$ is a tautology

Which of the following statement pattern is a tautology? $\begin{array}{l} \mathrm{S}_{1} \equiv(\sim…

Solution