Representing Logic Function:
- There are several ways of representing
— Symbols to represent the gates
— Truth tables
— Boolean algebra
- We will now describe commonly used
gates NOT Gate
Symbol Truth-table Boolean
a y a JV y=a
‘l>‘>' o 1
Logic Gates & Symbols
Algebra of logical thought and reason, introduced
by George Boole in 1849.
Used for simplifications of logical functions
Postulates Set K of 2 or more elements, closed under 2 binary
operations +, and .
Shannons Expansion Theorem (Dual)
f(x1, x2, , xn) = ( x1 + f(0, x2, , xn) ).
( x1 + f(0,x2, , xn) )
Outline of Proof: Put the two values of X1 in both
L.H.S and R.H.S.
Application of Shannons Expansion
Expanding arbitrary switching functions in
Karnaugh Maps (contd.)
Terminology- Implicants, prime Implicants, essential
prime implicants and cover
POS form realization Ex:
and 6 variable maps (stacking concept)
Design constraints other than cost (Read 2.4.2)
Gate Fan-in and F
Hierarchy of Computer Architecture
High-Level Language Programs
Instr. Set Proc.
Introduction to Digital Logic Design
Digital electronics and Logic Design
How will you master Digital Logic?
Teaching philosophyI do not teach my pupils. I provide conditions
in which they can learnAlbert Einstein
I hear and I forget. I see a