Thanks to visit codestin.com
Credit goes to www.scribd.com

100% found this document useful (1 vote)
66 views54 pages

Capter 4

The document summarizes key concepts in Boolean algebra and logic simplification. It defines variables, complements, literals and basic Boolean operations. It then outlines the basic laws of Boolean algebra including commutative, associative and distributive laws. Several rules of Boolean algebra are provided along with proofs. DeMorgan's theorems and applications are discussed. Steps for deriving Boolean expressions from logic circuits and constructing truth tables are described through examples.

Uploaded by

Roha Cbc
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
100% found this document useful (1 vote)
66 views54 pages

Capter 4

The document summarizes key concepts in Boolean algebra and logic simplification. It defines variables, complements, literals and basic Boolean operations. It then outlines the basic laws of Boolean algebra including commutative, associative and distributive laws. Several rules of Boolean algebra are provided along with proofs. DeMorgan's theorems and applications are discussed. Steps for deriving Boolean expressions from logic circuits and constructing truth tables are described through examples.

Uploaded by

Roha Cbc
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
You are on page 1/ 54

1

DIGITAL LOGIC:
CHAPTER 4

Boolean Algebra and Logic Simplification


Boolean Operations & Expressions
2
 Variable (Pembolehubah)
 A symbol that represents a logical quantity
 Usually italic uppercase (A, B, C, D)
 A single variable can have a 1 or 0 value

 Complement (Pelengkap)
 The inverse of a variable
 Indicated by an overbar (Ā) or prime (A’)
 If A = 1 , then Ā = 0

 Literal = both variable and its complement in a term.


 Ā + B + C  3 literals
Laws & Rules of Boolean Algebra
3

 Basic laws of BA
 Commutative Laws (Hukum Tukar Tertib)
 For addition and multiplication
 Associative Laws (Hukum Sekutuan)
 For addition and multiplication
 Distributive Laws (Hukum Taburan)
Commutative Laws
(Hukum Tukar Tertib)
 A+B=B+A
A B
A+B B+A
B A

Commutative law of addition

 AB = BA
A B
AB BA
B A

Commutative law of multiplication

4
Associative Laws (Hukum Sekutuan)
 A + (B + C) = (A + B) + C
A A
A+B
A + (B + C)
B
B
(A + B) + C
B+C
C C
Associative law of addition

 A(BC) = (AB)C
A A
A(BC)
B

B
(AB)C
BC
C C

Associative law of multiplication


5
Distributive Law (Hukum Taburan)

 A(B + C) = AB + AC

B A
B+C
C B
AB + AC
A(B + C)
A
A
C

6
Rules of Boolean Algebra
7

1 A+0=A
2 A+1=1
3 A 0=0
4 A 1=A
5 A+A=A
6 A+A=1
7 A A=A
8 A A=0
9 A=A
10 A + AB = A
11 A + AB = A + B
12 (A + B)(A + C) = A + BC
Rules of Boolean Algebra: Proof
8

Rule 1:
A= 1 A= 0
X=1 X=0
0 0

X=A+0=A

Rule 2:
A= 1 A= 0
X=1 X=1
1 1

X=A+1=1
Rule 3:
A= 1 A= 0
X=0 X=0
0 0

X=A 0=0
Rule 4:
A= 0 A= 1
X=0 X=1
1 1

X=A 1=A

Rule 5:
A= 0 A= 1
X=0 X=1
A= 0 A= 1

X=A+A=A
9
Rule 6:
A= 0 A= 1
X=1 X=1
A= 1 A= 0

X=A+A=1

Rule 7:
A= 0 A= 1
X=0 X=1
A= 0 A= 1

X=A A=A

Rule 8:
A= 1 A= 0
X=0 X=0
A=0 A=1

X=A A=0
Rule 9:
A =0
A =1
A= 1 A=1
A= 0 A=0

A=A
10
 Rules 10, 11 and 12 can be proven using BA laws.
Rule 10:
A + AB = A(1 + B) Factoring (distributive law) Refer proof -
=A.1 Rule 2: (1 + B) = 1 next slide
=A Rule 4: A . 1 = A

Rule 11:
A + AB = (A + AB) + AB Rule 10: A = A + AB
= (AA + AB) + AB Rule 7: A = AA
= AA + AB + AA + AB Rule 8: adding AA = 0
= (A + A)(A + B) Factoring
= 1 . (A + B) Rule 6: A + A = 1
=A+B Rule 4: drop the 1

Rule 12:
(A + B)(A + C) = AA + AC + AB + BC Distributive law
= A + AC + AB + BC Rule 7: AA = A
= A(1 + C) + AB + BC Factoring (distributive law)
= A . 1 + AB + BC Rule 2: 1 + C = 1
= A(1 + B) + BC Factoring (distributive law)
= A . 1 + BC Rule 2: 1 + B = 1
= A + BC Rule 4: A . 1 = A
11
 Proof can also be shown by a truth table.

Rule 10
A B AB A + AB
0 0 0 0
0 1 0 0
1 0 0 1
1 1 1 1

equal

12
DeMorgan’s Theorems
 Provides mathematical verification for:
 NAND ≡ negative-OR

 NOR ≡ negative-AND

X X
XY X+Y
Y Y
NAND Negative-OR

X X
X+Y XY
Y Y

NOR Negative-AND

13
 DM theorem 1:
1
 The complement of a product of variables is equal to the
sum of the complements of the variables

XY = X + Y
 DM theorem 2:
2
 The complement of a sum of variables is equal to the
product of the complements of the variables

X + Y = XY

14
DeMorgan’s Theorem Application
15
DeMorgan's Theorems I

XYZ = X + Y + Z

WXYZ = W + X + Y + Z

DeMorgan's Theorem II

X + Y + Z = XYZ
** Note:
W + X + Y + Z = WXYZ
X = AB + C
Y = A + BC
Examples for DeMorgan’s Theorems
16

(AB +C)(A + BC) = (AB + C) + (A + BC)

(AB + C) + (A + BC) = (AB)C + A(BC)

(AB)C + A(BC) = (A + B)C + A(B + C)


Boolean expression for a Logic Circuit
 To derive the Boolean expression for a given circuit, follow
left-2-right rule.
 Begin from the left-most inputs and work towards the last.

1
4
C CD
Z Z(A(B + CD))
D 2
B + CD
B A(B + CD)
A 3

1 2 3 4

17
Constructing a Truth Table for a Logic
Circuit
18

 A truth table shows the output for all possible input


values.
 From a Boolean expression, a truth table can be
developed.
 x = number of input variables
 Possible combinations of values, n = 2x
 E.g. A(B + CD)  x = 4; n = 24=16
Steps in constructing a truth table
19

 Step 1: Identify x and n from the Boolean exp.


 Step 2: Find the values of the variables that make the
expression equal to 1.(Hint: use the rules for Boolean
addition and multiplication)
 Step 3: List in a table
 all the n combinations of 1s and 0s (input)
 The values of variables from step 2 (output)
 All the other output values will be 0
Example A(B + CD)
20
 Step 1: x = 4 ; n = 2x = 24 = 16
 Step 2:
 A(B + CD) = 1 • 1 = 1  A = 1
 What makes B + CD = 1?
 B + CD = 1 + 0 = 1
 B + CD = 0 + 1 = 1
 B + CD = 1 + 1 = 1  B = 1 or 0
 What makes CD = 1?
 CD = 1 . 1 = 1  C = 1; D = 1
 So for A(B + CD) = 1
 A = 1, B = 1, C = 0/1, D = 1/0
 A = 1, B = 1/0 , C = 1, D = 1
 Step 3 : Fill in the grid and results from Step 2
INPUTS OUTPUT
A B C D A(B + CD)

0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 1
21
 Tips on ‘table-making’:
 For n possible combinations, the input part of the table
will register the binary value of 0 to n-1. (e.g. n = 16;
0 to 15)

 Remember the sequence

24 22 21 20
8 4 2 1
0 0 0 0 (0)
0 0 0 1 (1)
0 0 1 0 (2)
0 0 1 1 (3)

22
23
Simplification using Boolean Algebra
 Simplification:
 To reduce an expression to its simplest form
 To change a form to a more convenient one for
efficient implementation
 We use:- basic laws, rules, theorems of Boolean
algebra
 Practice makes perfect
Simplify this expression
AB + A(B + C) + B(B + C)

AB + A(B + C) + B(B + C)
Step 1: Apply distributive law to the red terms
AB + AB + AC + BB + BC
Step 2: Apply rule 7 (BB = B) to the green term

AB + AB + AC + B + BC
Step 3: Apply rule 5 (AB + AB = AB) to the red terms

AB + AC + B + BC
Step 4: Apply rule 10 (B + BC = B) to the green terms

AB + AC + B
Step 5: Apply rule 10 (B + AB = B) to the red terms

24
AC + B
Simplify this expression
ABC + ABC + ABC + ABC + ABC
ABC + ABC + ABC + ABC + ABC
Step 1: Factor BC for the red terms

BC(A + A) + ABC + ABC + ABC


Step 2: Apply rule 6 to the green term and factor the blue
term
BC . 1 + AB(C + C) + ABC
Step 3: Apply rule 4 to the red term and rule 6 to the blue
term
BC + AB . 1 + ABC
Step 4: Apply rule 4 to the green term
BC + AB + ABC
Step 5: Factor the red terms
BC + B(A + AC)
Step 6: Apply rule 11 to the blue term
BC + B(A + AC)
Step 7: Use the distributive and commutative laws to
get the following expression

BC + AB + BC
25
Standard Form of Boolean Expressions
26

 Boolean expression can be converted into one of 2


standards forms:
 The sum-of-products (SOP) form
 The product-of-sums (POS) form
 Standardization makes the evaluation, simplification,
and implementation of Boolean expressions more
systematic and easier
 Product term = a term with the product (Boolean
multiplication) of literals
 Sum term = a term with the sum (Boolean addition) of
literals
The Sum-of-Products (SOP) Form
 SOP = when 2 or more product terms are summed
 e.g ABP1 + ABCP2
ABCP1 + CDEP2 + BCDP3
 SOP can also contain a single variable term
 In SOP a single overbar cannot extend over more
than 1 variable, but more than 1 variable can have
an overbar.

ABC  ABC 

27
 Domain = a set of variables contained in an
expression
 E.g. AB + ABC  domain = A, B, C
 ABC + CDE + BCD  domain = A, B, C, D, E

 Implementation of the SOP expression AB + BCD +


AC
A
B
B
C X = AB + BCD + AC
D
A
C 28
 A logic expression can be changed to SOP form using Boolean
algebra techniques.
 A(B + CD) = AB + ACD
 AB + B(CD + EF) = AB + BCD + BEF

 Standard SOP form = where all the variables in the domain


appear in each product term in the expression.
A BCD  A BC D  ABC D

 To convert product terms to standard SOP


 Multiply each of the nonstandard term with the missing term using
Boolean algebra rule 6 ( A  A ).1
 Repeat until all variables appear in each product term.

29
 Convert this Boolean expression to standard SOP form:
A BC  A B  ABC D
 Domain = A, B, C, D.
 What is missing?
 Term 1: missing D or D’
 Term 2: missing (C/C’) and (D/D’)
 Complete these terms by applying Boolean rule 6
Term 1: ABC  ABC ( D  D)  ABCD  ABC D

Term 2 : AB  ABC  ABC


 ABC ( D  D)  ABC ( D  D)  ABCD  ABC D  ABC D  ABC D
 Now we have

A BC  A B  ABC D
 A BCD  A BC D  A BCD  A BC D  A BC D  A BC D  ABC D

30
Binary representation of a standard product
term
 A product = 1 only if ALL
variables in the term is equal
to 1. SOP

 Remember: product =
multiplication  1.1 = 1 Product1 Product2 Product3
 A sum = 1 when one or all
of the variables in the term Var1 Var1 Var1

is equal to 1.
 Remember: sum = addition 
1 + 0 = 1; 0 + 1 = 1; 1 + 1 = 1

31
Determine the binary value for which the following standard SOP
32 expression is equal to 1:

ABCD + ABCD + ABCD


The term ABCD is equal to 1 when A = 1, B = 1, C = 1, and D = 1

ABCD = 1.1.1.1 = 1
The term ABCD is equal to 1 when A = 1, B = 0, C = 0, and D = 1
ABCD = 1.0.0.1 = 1.1.1.1 = 1
The term ABCD is equal to 1 when A = 0, B = 0, C = 0, and D = 0
ABCD = 0.0.0.0 = 1.1.1.1 = 1
The SOP expression equals 1 when any or all of the three product
terms is 1.
Product-of-Sums (POS) Form
 POS = when 2 or more sum terms are multiplied.
 (A + B)S1(A + B + C)S2
 (A + B + C)S1(C + D + E)S2(B + C + D)S3
 Like SOP, POS
 can also contain a single variable term
 a single overbar cannot extend over more than 1 variable,
but more than 1 variable can have an overbar.

A BC  A BC 
33
 Domain = a set of variables contained in an
expression
 (A + B + C)(A + B + D)(A + B + C + D)  domain = A, B,
C, D

 Implementation of the POS expression (A +


B)(B + C + D)(A + C)
A
B
B
C X = (A + B)(B + C + D)(A + C)
D
A
C
34
 Standard POS form = where all the variables in the
domain appear in each sum term in the expression.
 To convert product terms to standard POS
 Multiply each of the nonstandard term with the missing
term using Boolean algebra rule 8:

 Apply A  A12: A
rule 0 + BC = (A + B)(A + C)

 Repeat A  BC
until  ( A  appear
all variables B )( A inCeach
) sum term.

35
 Convert this Boolean expression to standard POS form
( A  B  C )( B  C  D)( A  B  C  D)
 Domain = A, B, C, D.
 What is missing?
 Term 1: missing D or D’
 Term 2: missing A or A’
 Apply rules 8 and 12
Term 1 : A  B  C  A  B  C  D D  ( A  B  C  D)( A  B  C  D)
Term 2 : B  C  D  B  C  D  A A
 ( A  B  C  D)( A  B  C  D)
 Now we have
( A  B  C )( B  C  D)( A  B  C  D)
 ( A  B  C  D)( A  B  C  D)( A  B  C  D)( A  B  C  D)( A  B  C  D)
36
Binary representation of a standard sum term

 A product = 0 only if one or


more of the sum term is
equal to 0. POS

 Remember: product =
multiplication  1.1 = 1 Sum1 Sum2 Sum3
 A sum = 1 when one or all
of the variables in the term Var1 Var1 Var1

is equal to 1.
 Remember: sum = addition 
1 + 0 = 1; 0 + 1 = 1; 1 + 1 = 1

37
Converting
Standard SOP to Standard POS
 Binary values in a
standard SOP
expression are not
present in the equivalent Standard Standard
standard POS SOP POS
Then x is
expression Binary
If x is here
not here
values (x) If x is not Then x is
here here

38
Steps to follow : SOP to POS
39

 Step 1: Evaluate each product term in the SOP


expression  i.e. determine the binary numbers of
the product terms.
 Step 2: Determine all the binary numbers not
included in Step 1.
 Step 3: Write equivalent sum term for each binary
number from Step 2 and express in POS form.
 ** Using a similar procedure, to go from POS to SOP
 Convert this SOP exp. to an equivalent POS exp.

A B C + A B C + A BC + AB C + A B C
 Domain = A, B, C = 3. So, 23 = 8 possible
combinations.

A B C + A B C + A BC + A B C + A B C
000 010 011 101 111
 The SOP have 5 of 8, so POS have the other 3 (001,
100, 110)  These 3 make sum term = 0

(A + B + C)(A + B + C)(A + B +C)


0 0 1 1 0 0 1 1 0

40
Boolean Expressions and
41
Truth Tables
 Step 1: determine domain and combinations of binary
values  input
 Step 2: convert expression to Standard SOP/POS.
 Step 3: find the binary values that make the product =
1 (SOP) or sum = 0 (POS)
 Step 4: the remaining combination will be
 Equal to 0 (SOP)
 Equal to 1 (POS)
 Fill in the truth table
 Develop a truth table for the standard SOP expression
 Domain = A, B,ABC
C. combinations
+ ABC + ABC = 23 = 8
 What binary value makes the product term = 1?

ABC
001 =111=1
ABC INPUTS OUTPUT PRODUCT
100 =111=1 TERM
A B C X
ABC
111 =111=1
0 0 0 0
0 0 1 1 ABC
 Fill the truth table 0 1 0 0
0 1 1 0
1 0 0 1 ABC
1 0 1 0
1 1 0 0
1 1 1 1 ABC
42
 Develop a truth table for the standard POS expression
 Domain = A, B, C. combinations = 23 =+8B + C)(A + B +C)
(A + B + C)(A + B + C)(A + B +C)(A

 What binary value makes the sum term = 0?

(A + B + C)(A + B + C)(A + B +C)(A + B + C)(A + B +C)


0 0 0 0 1 0 0 1 1 1 0 1 1 1 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0
 Fill the truth table INPUTS OUTPUT PRODUCT
TERM
A B C X
0 0 0 0 (A + B + C)
0 0 1 1
0 1 0 0 (A + B + C)
0 1 1 0 (A + B + C)
1 0 0 1
1 0 1 0 (A + B + C)
1 1 0 0 (A + B + C)
1 1 1 1
43
Determining Standard expressions from a
truth table
 Replace each binary number with its corresponding
variable.
 SOP = 1→ var. & 0 → var. complement
 POS = 0→ var. & 1 → var. complement

SOP POS
1010 ABCD 1001 A+B+C+D
ABCD = 1 0 1 0 A+B+C+D= 1+0+0+1
=1111=1 =0+0+0+0=0

44
Karnaugh Map (K-Map)
45
 K-Map is similar to the truth table, but it presents all of the
possible values of input and output.
 This is shown in an array of cells.
 K-Maps can be used for expressions with 2,3,4 or 5 variables.
 The number of cells in a K-Map = total number of possible
input variable combinations  3 = 23 = 8
 Cells that differ by only one variable are adjacent (bersebelahan)
 Cell 010 is adjacent to 000, 011 and 110
 Physically, cells that share their walls are adjacent
 In a K-map with 4-variable or more, the top-most & bottom-
most cells of a column (and row) are adjacent.
C C
0 1 0 1
46 AB AB
00 00 ABC ABC

01 01 ABC ABC
3-Variable Karnaugh Map
11 11 ABC ABC

10 10 ABC ABC

CD CD
00 01 11 10 00 01 11 10
AB AB
00 00 ABCD ABCD ABCD ABCD

01 01 ABCD ABCD ABCD ABCD

11 11 ABCD ABCD ABCD ABCD

10 10 ABCD ABCD ABCD ABCD

4-Variable Karnaugh Map


47
K-Map SOP Minimization
 K-Map is used to simplify Boolean expressions to their
minimum form.
 A minimized SOP expression has the fewest possible term
with each term having fewest possible variables.
 A minimized SOP expression needs fewer logic gates than
standard expression.
 To map an SOP expression to a map:
 Step 1: determine the binary value of each product term
 Step 2: Place a 1 in a cell that have the same value as the product term
Example: Mapping SOP expression
48

ABC + ABC + ABC + ABC

C ABC + ABC + ABC + ABC


AB
0 1 000 001 110 100
00 1 1

01

11 1

10 1
 Map the following expression
ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD

ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD


0011 0100 1101 1111 1100 0001 1010
ABCD
CD
AB 00 01 11 10
00 1 1 ABCD

01 1
ABCD
11 1 1 1

ABCD 10 1 ABCD

ABCD ABCD
49
 To use K-maps, expressions must be in standard form.
 For expressions that are not standard, it must be
converted to a standard form.
 Recall: AB + ABC
 AB(C/C’)  11(1/0)  ABC + ABC’
 So: ABC + ABC’ + ABC
C
 Map the following expression on a K-map:
AB 0 1
00 1 1
A + AB + ABC
000 100 110 01 1 1
001 101
11 1
010
011 10 1 1

50
K-Map Simplification of SOP
51
Expressions
 There are 3 steps to obtain a minimum SOP
expression from a K-map.
1. Grouping the 1s
2. Determine product term for each group
3. Summing the resulting product terms
Grouping the 1s
52

 Group must contain cells in 2x combination (i.e. 1,2,4,8,16


 Each cell must be adjacent to at least 1 other cell in the
group, but all cells in a group need not be adjacent
 Try to have the biggest possible group of 1s
 Each 1 must be in at least one group.
 The 1s already in a group may be included in another group
so long as the overlapping group includes non-common 1s
 Here are some examples:
(a) (b) (c) (d)
C C CD CD
AB 0 1 AB 0 1 00 01 11 10 AB 00 01 11 10
AB
00 1 00 1 1 00 1 1 00 1 1
01 1 01 1 01 1 1 1 1 01 1 1 1
11 1 1 11 1 11 11 1 1 1
10 10 1 1 10 1 1 10 1 1 1

C C
AB 0 1 0 1 CD CD
AB AB 00 01 11 10 AB 00 01 11 10
00 1 00 1 1
00 1 1 00 1 1
01 1 01 1 01 1 1 1
01 1 1 1 1
11 1 1 11 1 11 1 1 1
11
10 10 1 1 10 1 1 1
10 1 1

(a) (b) (c) (d)

53
Link
www.allaboutcircuits.com/vol_4/chpt_7/5.html
wps.prenhall.com/chet_floyd_digitalfun_10/86/22258/5698226.cw/
index.html

54

You might also like