Computer Sciences > GATE 2021 SET-1 > Mathematical Logic
Let p and q be two propositions.
Consider the following two formulae in propositional logic.
S1: (¬p ∧ (p ∨ q)) → q
S2: q → (¬p ∧ (p ∨ q))
Which one of the following choices is correct?
A
Both S1 and S2 are tautologies.
B
S1 is a tautology but S2 is not a tautology.
C
S1 is not a tautology but S2 is a tautology.
D
Neither S1 nor S2 is a tautology.

Correct : b

Similar Questions

Let P(x) be an arbitrary predicate over the domain of natural numbers.Which ONE of the following statements is TRUE?
#1423 MCQ
A palindrome is a word that reads the same forwards and backwards. In a game of words, a player has the following two plates painted with letters. From...
#1 MCQ
Which number does not belong in the series below? 2, 5, 10, 17, 26, 37, 50, 64
#4 MCQ

Related Topics

propositional logic tautology GATE CS 2021 Q17 logical formulae discrete mathematics truth table logical implication computer sciences GATE

Unique Visitor Count

Total Unique Visitors

Loading......