CPSC 121 Study Guide - Midterm Guide: Distributive Property, Propositional Calculus, Digital Electronics

• School: UBC
• Department: Computer Science
• Course: CPSC 121
• Professor: All

Document Summary

Solution : a b is false only when a is true and b is false. It is a tautology because a b is logically equivalent to (a b) ( . [8] c. using a sequence of logical equivalence, prove that (p q) ( p q) p q. Please write the name of the law(s) you applied at each step. Hint: what you showed in part b above may be helpful. Lhs (p q) ( p q) ( p q) (p q) ( p q) ( p q) (p q) ( p q) (p q) (p q) ( p (q q)) (p q) ( p t ) (p p) ( q p) T ( q p) Rhs de nition of from part (b) de nition of double negative law. De morgan"s law distributive law negation law identify law distributive law negation law identity law commutative law.