Boolean algebra applied to digital systems; logic gates; combinational logic design; electronic circuits for logic gates; arithmetic circuits; latches and flip-flops, registers and counters; synchronous sequential logic and state machine design; implementation in programmable logic chips.