Beruflich Dokumente
Kultur Dokumente
“BOOLEAN ALGEBRA”
Text Book: Chapter 2
Section: 2-2
2
Boolean Algebra
• Boolean Algebra
– Algebra of Boolean variables
– deals with binary variables and logic operations
• variables designated by alphabets
• logic operations are AND, OR, NOT
• Boolean Function
– express logical relationship between Boolean variables
F X YZ
• binary variable F denotes the function
• algebraic expression of binary variables X, Y, Z
• F is equal to 1 if either of two terms is equal to 1
3
Truth Table, Logic Diagram
& Boolean Expression
• A Boolean function can be represented by:
– Boolean Equation
– Truth Table
– Logic Diagram
5
Logic Diagram
• Boolean Function can be represented by Logic Diagram
– composed of logic gates
– inputs are variables of the function F
– output is the binary variable F
Logic Diagram
X
Equation :
Y F
F X YZ
Z
7
Properties of Identities & Boolean
Algebra
• If the meaning is unambiguous, we leave out symbol “·”
• Identities are organized as pairs
– pairs form duals of each other
Dual of Algebraic Expression
obtained by interchanging AND and OR,
and 0’s and 1’s
8
Algebraic Manipulation
• Algebraic manipulation can simplify circuits…
F XYZ XY Z XZ
Distributive Law
Identity 2 (Y.1 = Y)
9
Algebraic Manipulation
• Simplified circuit has less number of gates…
10
Algebraic Manipulation
• Both functions have same truth table …
F XYZ XY Z XZ XY XZ
11
Boolean Operator Precedence
• The order of evaluation in a Boolean expression is:
– Parenthesis
– NOT
– AND
– OR
• Consequence:
– Parentheses appear around OR expressions
• Example:
A( B C )(C D)
12
Useful Theorems
• A number of theorems can be used to simplify Boolean
expressions
Absorption
Minimization
Simplification
14
Minimization Theorem (Proof)
15
Simplification Theorem (Proof)
16
Consensus Theorem
17
Consensus Theorem (Dual)
Proof
Do it yourselves!
18
Expression Simplification
19
Expression Simplification
• Example: Simplify the expression in terms of the number of
terms and literals
(both complemented and un-complemented variables)
20
Complement of Function
• Truth Table: interchange 1’s to 0’s and 0’s to 1’s
• Algebraic: use De-Morgan's Theorem
• Generalized Form : take the dual & complement each literal
21
Complement of Function
• Example: Using dual
– take the dual of the function and complement each literal
(Dual: interchange AND & OR, and 1’s & 0’s)
Function : F1 XY Z XY Z ( XY Z ) ( XY Z )
Dual of F1 : ( X Y Z )( X Y Z )
Complement literals : F 1 ( X Y Z )( X Y Z )
Example: F = (A + C) · B + 0
dual F = (A · C) + B · 1 = AC + B
24
QUESTIONS ?
25
NEXT TIME
• Standard Forms
• Two Level Circuit Optimization
26