CISC 404/604 homework 1.

Each exercise is worth 10 points. All exercises are from the Mendelson book.

If you use a word processor such as Open Office or Microsoft Word to write up
your answers, use a font such as Cambria Math. Symbol can also work if the
default isn't to print greek letters when you type ordinary letters.

For all students:

1. Exercise 1.2, page 5.  Use abbreviated truth tables.
2. Exercise 1.4, page 5.
3. Exercise 1.19, page 13.

For CISC 404 students:

4. Exercise 1.13, page 9.
5. Exercise 1.20, page 13-14.

For CISC 604 students:

4. Exercise 1.34, page 19.
5. Exercise 1.35, page 19.