This document contains solutions to homework problems related to propositional logic and logical equivalences. It includes:
1) A truth table verification of the first De Morgan's law.
2) A logical equivalence proof showing that (p → q) v (p → r) and p → (q v r) are logically equivalent.
3) An explanation that the operators ¬ and & form a functionally complete set.
4) Exercises constructing truth tables, disjunctive normal forms, and proving logical equivalences.
This document contains solutions to homework problems related to propositional logic and logical equivalences. It includes:
1) A truth table verification of the first De Morgan's law.
2) A …