Logic Variables, Logic Formulas, Karnaugh Maps, Reduced Karnaugh Maps.- Tautologies, Propositional Logic.- Canonical and Shegalkin Normal Forms, Minimising Logic Functions, Composition of Circuits.- Theory of Latches, Automata Models, Asynchronous Sequential Circuits, Verifying a Sequential Design.- FBD language for PLC programming.