CS311: Logic Circuits