Answer to Question #134946 in Discrete Mathematics for mounika

Question

7(pv(7p^q)) and 7p^7q are logically equivalence by developing a series of logical equivalence

Answer 1

Using distributive law: ¬(p ∨ (¬p ∧ q)) =¬((p ∨¬p)∧ (p∨q)), equals ¬(1∧(p∨q))=¬(p∨q), using DeMorgan's Law

¬(p∨q)=¬p∧¬q , hence the equivalence is true