Q7

MCQ1 mark, −0.33

Let $p$ and $q$ be two propositions. Consider the following two formulae in propositional logic. $S_1: (\neg p\wedge(p\vee q))\rightarrow q$ $S_2: q\rightarrow(\neg p\wedge(p\vee q))$ Which one of the following choices is correct?

(A)

Both $S_1$ and $S_2$ are tautologies.

(B)

$S_1$ is a tautology but $S_2$ is not a tautology

(C)

$S_1$ is not a tautology but $S_2$ is a tautology

(D)

Neither $S_1$ nor $S_2$ is a tautology

Loading…