Assignment 6

CS 270/680 Mathematical Foundations of Computer Science
Instructor: Jeremy Johnson 
Due date: (Tue. Dec. 7 by 6pm)

  1. Exercise 12.5.1 & draw the Karnaugh map for the function in column a.  Use the Karnaugh map to simplify the Boolean expression. Finally show how to obtain the simplified expression using the rules in Section 12.8
  2. Exercise  12.5.2 (a) - also show how to obtain this from (12.5.1) using DeMorgan's Law (look at the duality principle on page 678)
  3. Exercise 12.8.4 (a,c,d)
  4. Verify DeMorgan's Laws (12.20 (a) and (b)) using truth tables, and then do Exercise  12.8.7
  5. Exercise  12.8.3

How to submit

Students should submit their solution electronically. Use a word processor (e.g. word with the equation editor or latex) to create your solution and submit either 1) a text file, 2) a word document, or 3) a pdf file. Alternatively, you can submit a pdf file containing a scan of a handwritten solution. You should submit your assignment using WebCT. Paper copies may be dropped off in the CS office (University Crossings 100).