Homework I

Tom Kelliher, CS 220

50 points, due Sept. 19

1. Use truth tables to verify each of the following:
   1. DeMorgan's theorem for three variables: .

   2. Identity 15 (from Sept. 12's notes).

   3. 

2. Use Boolean manipulation to verify each of the following:
   1. 

   2. 

   3. 

   4.