Compiler-Design
March 17, 2025GATE 1993
March 17, 2025GATE 1993
|
Question 37
|
The proposition p ∧(~p ∨ q) is:
|
a tautology
|
|
|
logically equivalent to p ∧ q
|
|
|
logically equivalent to p ∨ q
|
|
|
a contradiction
|
|
|
none of the above
|
Question 37 Explanation:
p ∧(~p ∨ q)
(p ∧ ~p) ∨ (p ∧ q)
F ∨ (p ∧ q)
(p ∧ q)
(p ∧ ~p) ∨ (p ∧ q)
F ∨ (p ∧ q)
(p ∧ q)
Correct Answer: B
Question 37 Explanation:
p ∧(~p ∨ q)
(p ∧ ~p) ∨ (p ∧ q)
F ∨ (p ∧ q)
(p ∧ q)
(p ∧ ~p) ∨ (p ∧ q)
F ∨ (p ∧ q)
(p ∧ q)