CMSC 2100 Logic and Switching Theory