Digital signals, Binary coding methods, Error Detection
and Correction codes, Hamming Codes.
Boolean algebra: Axioms, Basic theorems, Logic Functions,
Canonical Forms, Functionally complete operations,
Logic gates, Isomorphic systems.
Combinatorial circuits: implementation, families of
electronic gates, faults, reliability, encoders, multiplexers.
Simplification of switching functions: Karnaugh map,
Don't care conditions, prime implicants, Quine-McCluskey
method, design of iterative circuits.
Finite State machines: Memory elements, Synthesis
of synchronous sequential circuits (State Tables,
State Reduction, State Encoding), Registers, Counters.
Asynchronous sequential circuits.