Consider the compund propositions given below as:
Which of the above propositions are tautologies
p∨~(p∧q)
p∨~(p∧q) =p ∨ ~p v~q
p ∨ ~p is always true
a is a tautology
(p∧~q)∨~(p∧q)
(p∧~q)∨~(p∧q) = (p∧~q)∨(~pv~q) is also tautology
p∧(q∨r)
p∧(q∨r) = (p^q) v (p^r) is not a tautology
Answer
C a and b
Gatecse