CPSC 121 Study Guide - Midterm Guide: Commutative Property, Digital Electronics, Associative Property

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

Document Summary

Justify your answer using a truth table: (p q) (p q) Solution : this statement is a tautology: q p. T t p q q p q (p q) (p q) Using a sequence of logical equivalences, prove that ( p q) ( (r q) p) p ( q r) Solution : the left-hand side (lhs) is ( p q) ( (r q) p). Lhs ( p q) ( (r q) p) ( p q) ((r q) p) ( p q) ( (r q) p) ( p q) ( p (r q)) P ( q (r q)) P ( q ( r q)) P (( q q) r) Write a propositional logic expression which is the direct translation of this circuit to propositional logic. Solution : ( ( p r) q) r. [4] b. simplify your answer from part (a) using a sequence of logical equivalences. Write the name of the law you applied at each step.