This preview shows page 1. Sign up to view the full content.
Unformatted text preview: McMaster University Department of Computing and Software Dr. W. Kahl COMP SCI 1FC3 Exercise Sheet 1 COMP SCI 1FC3 Mathematics for Computing 9 January 2009 Exercise 1.1 Propositions, formal and English From the textbook section 1.1, do at least exercises 19 (pp. 1617). Exercise 1.2 Truth Tables For each of the following formulae,calculate the complete truth table including evaluation of all subformulae. Use of the Truth Tables Java applet on the textbook website (Interactive,but not Animated) at least for checking is recommended. (You need to close book to enter your own formulae.) (a) p ( p q ) (b) ( p q ) q (c) ( p q ) ( p q ) (d) ( p ( q p )) p (e) (( p q ) p ) q (f) ( p q ) r (g) p ( q r ) (h) ( q ( p r )) ( r q ) Exercise 1.3 Logical Equivalence Reasoning Prove each of the following logical equivalences using the logical equivalences listed in tables 68 (pp. 2425)Prove each of the following logical equivalences using the logical equivalences listed in tables 68 (pp....
View Full Document
- Spring '11