CSC165H1F Tutorial # 3 Fall 2011
1. Justify each equivalence below by providing a derivation from one expression to the other (with a brief
justi▯cation for each step of your derivation), or show that the equivalence does not hold (warning; you
cannot use a derivation to show non-equivalence).
(a) (P ) Q) ^ (P ) R) () P ) (Q ^ R)
(b) (P ) R) ^ (Q ) R) () (P ^ Q) ) R
(c) P , Q () (P ^ Q) _ (:P ^ :Q)
Dept. of Computer Science, University of Toronto, St. George Campus Page 1 of 2 CSC165H1F Tutorial # 3 Fall 2011