Propositional (Boolean), Predicate Logic, Well-formed-formulae (WFF), Satisfiability and Tautology

## Logic Families

TTL, ECL and C-MOS gates. Boolean algebra and Minimization of Boolean functions, Flip-flops-types, race condition and comparison. Design of combinational and sequential circuits

## Representation of integers

Octal, Hex, Decimal, and Binary. 2’s complement and 1’s complement arithmetic. Floating point representation