Sum
Using rules in logic, prove the following:
∼p ∧ q ≡ (p ∨ q) ∧ ∼p
Advertisement Remove all ads
Solution
(p ∨ q) ∧ ∼p
≡ (p ∧ ∼p) ∨ (q ∧ ∼p) .....(Distributive Law)
≡ F ∨ (q ∧ ∼p) ...........(Complement Law)
≡ q ∧ ∼p ...........(Identity Law)
≡ ∼p ∧ q .............(Commutative Law)
∴ ∼p ∧ q ≡ (p ∨ q) ∧ ∼p
Concept: Algebra of Statements
Is there an error in this question or solution?
APPEARS IN
Advertisement Remove all ads
