Which of the following statement pattern is a tautology? $\mathrm{S}_{1} \equiv \sim \mathrm{p} \rightarrow(\mathrm{q} \leftrightarrow \mathrm{p})$ $\mathrm{S}_{2} \equiv \sim \mathrm{p} \mathrm{V} \sim \mathrm{q}$ $\mathrm{S}_{3} \equiv(\mathrm{p} \rightarrow \mathrm{q}) \wedge(\mathrm{q}…

Question

Which of the following statement pattern is a tautology? $\mathrm{S}_{1} \equiv \sim \mathrm{p} \rightarrow(\mathrm{q} \leftrightarrow \mathrm{p})$ $\mathrm{S}_{2} \equiv \sim \mathrm{p} \mathrm{V} \sim \mathrm{q}$ $\mathrm{S}_{3} \equiv(\mathrm{p} \rightarrow \mathrm{q}) \wedge(\mathrm{q} \rightarrow \mathrm{p})$ $\mathrm{S}_{4} \equiv(\mathrm{q} \rightarrow \mathrm{p}) \vee(\sim \mathrm{p} \leftrightarrow \mathrm{q})$

Aicharya · Accepted Answer

We find that all entries in column (12) are T $	herefore \mathrm{S}_{4}$ is a tautology

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

Solution