CENG 3132: Digital Circuits Corequisite: CENG 3112. Applications of point set theory and Boolean Algebra to the analysis and design of asynchronous and synchronous digital circuits.