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)