74
BOOLEAN ALGEBRA Lecture 5 Digital Design Dr. PO Kimtho Department of Computer Sciences Norton University (NU)

Ch04 Boolean Algebra.pdf

  • Upload
    oryrgb

  • View
    68

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Ch04 Boolean Algebra.pdf

BOOLEAN ALGEBRA

Lecture 5

Digital Design

Dr. PO Kimtho

Department of Computer Sciences

Norton University (NU)

Page 2: Ch04 Boolean Algebra.pdf

Boolean Algebra

Contents

Boolean Operations & Expression

Laws & Rules of Boolean algebra

DeMorgan’s Theorems

Boolean analysis of logic circuits

Simplification using Boolean Algebra

Standard forms of Boolean Expressions

Boolean Expressions & truth tables

Page 3: Ch04 Boolean Algebra.pdf

Boolean Algebra (Cont.)

The Karnaugh Map

Karnaugh Map SOP minimization

Karnaugh Map POS minimization

Programmable Logic

Page 4: Ch04 Boolean Algebra.pdf

Boolean Operations & Expression

Expression

Variable

a symbol used to represent logical quantities (1 or 0)

E.g : A, B,..used as variable

Complement

inverse of variable and is indicated by bar over variable

E.g : Ā

Page 5: Ch04 Boolean Algebra.pdf

Boolean Operations & Expression

Operation

Boolean Addition

– equivalent to the OR operation

X = A + B

Boolean Multiplication

– equivalent to the AND operation

X = A∙B

A

B X

A

B X

Page 6: Ch04 Boolean Algebra.pdf

Laws of Boolean Algebra

Commutative

Addition & multiplication

Associative

Addition & multiplication

Distributive

Same as ordinary algebra

Page 7: Ch04 Boolean Algebra.pdf

Commutative law of addition:

A+B = B+A

the order of OR-ing does not matter.

Addition

Commutative Law

Page 8: Ch04 Boolean Algebra.pdf

Commutative Law

Commutative law of Multiplication

AB = BA

the order of ANDing does not matter.

Multiplication

Page 9: Ch04 Boolean Algebra.pdf

Associative Law

Associative law of addition

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

The grouping of ORed variables does not matter

Addition

Page 10: Ch04 Boolean Algebra.pdf

Associative Law

Associative law of multiplication

A(BC) = (AB)C

The grouping of ANDed variables does not matter

Multiplication

Page 11: Ch04 Boolean Algebra.pdf

Distributive Law

A(B + C) = AB + AC

Question: (A+B)(C+D) ?

Page 12: Ch04 Boolean Algebra.pdf

Rules of Boolean Algebra

Rule 1: A + 0 = A

In math if you add 0 you have changed nothing.

In Boolean Algebra ORing with 0 changes nothing.

Page 13: Ch04 Boolean Algebra.pdf

Rule 2: A + 1 = 1

ORing with 1 must give a 1 since if any input

is 1 an OR gate will give a 1.

Rules of Boolean Algebra

Page 14: Ch04 Boolean Algebra.pdf

Rule 3: A . 0 = 0

In math if 0 is multiplied with anything you

get 0. If you AND anything with 0 you get 0.

Rules of Boolean Algebra

Page 15: Ch04 Boolean Algebra.pdf

Rule 4: A . 1 = A

ANDing anything with 1 will yield the anything.

Rules of Boolean Algebra

Page 16: Ch04 Boolean Algebra.pdf

Rule 5: A + A = A

ORing with itself will give the same result

Rules of Boolean Algebra

Page 17: Ch04 Boolean Algebra.pdf

Rule 6: A + A = 1

Either A or A must be 1 so A + A =1

Rules of Boolean Algebra

Page 18: Ch04 Boolean Algebra.pdf

Rule 7: A . A = A

ANDing with itself will give the same result

Rules of Boolean Algebra

Page 19: Ch04 Boolean Algebra.pdf

Rule 8: A . A = 0

In digital Logic 1 =0 and 0 =1, so AA=0 since one of the inputs must be 0.

Rules of Boolean Algebra

Page 20: Ch04 Boolean Algebra.pdf

Rule 9: A = A

If you NOT something twice, you are back to

the beginning

Rules of Boolean Algebra

Page 21: Ch04 Boolean Algebra.pdf

Rule 10: A + AB = A

Proof:

A + AB = A (1 + B) DISTRIBUTIVE LAW

= A∙1 RULE 2: (1+B) = 1

= A RULE 4: A∙1 = A

Rules of Boolean Algebra

Page 22: Ch04 Boolean Algebra.pdf

Rule 11: A + AB = A + B

If A is 1 the output is 1 , If A is 0 the output is B

Proof:

A + AB = (A + AB) + AB RULE 10

= (AA + AB) + AB RULE 7

= AA + AB + AA +AB RULE 8

= (A + A)(A + B) FACTORING

= 1∙(A + B) RULE 6

= A + B RULE 4

Rules of Boolean Algebra

Page 23: Ch04 Boolean Algebra.pdf

Rule 12: (A + B) (A + C)= A + BC

PROOF

(A + B)(A +C) = AA + AC +AB +BC DISTRIBUTIVE LAW

= A + AC + AB + BC RULE 7

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

= A.1 + AB + BC RULE 2

= A(1 + B) + BC FACTORING

= A.1 + BC RULE 2

= A + BC RULE 4

Rules of Boolean Algebra

Page 24: Ch04 Boolean Algebra.pdf

SUMMARY - LAWS OF BOOLEAN ALGEBRA

[1] COMMUTATIVE:

A + B = B + A

AB = BA

[2] ASSOCIATIVE:

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

A(BC) = (AB)C

[3] DISTRIBUTIVE:

A(B + C) = AB + AC

(A + B)(C + D) = AC + AD + BC + BD

Rules of Boolean Algebra

Page 25: Ch04 Boolean Algebra.pdf

SUMMARY - RULES OF BOOLEAN ALGEBRA

[1] A + 0 = A [7] A.A = A

[2] A + 1 = 1 [8] A.A = 0

[3] A.0 = 0 [9] A = A

[4] A.1 = A [10] A + AB = A

[5] A + A = A [11] A + AB = A + B

[6] A + A = 1 [12] (A + B)(A + C) = A + BC

Rules of Boolean Algebra

Page 26: Ch04 Boolean Algebra.pdf

[1] A + 0 = A [7] A.A = A

[2] A + 1 = 1 [8] A.A = 0

[3] A.0 = 0 [9] A = A

[4] A.1 = A [10] A + AB = A

[5] A + A = A [11] A + AB = A + B

[6] A + A = 1 [12] (A + B)(A + C) = A + BC

Rules of Boolean Algebra

SUMMARY - RULES OF BOOLEAN ALGEBRA

Page 27: Ch04 Boolean Algebra.pdf

DeMorgan’s Theorems

Two most important theorems of Boolean Algebra were

contributed by De Morgan

Extremely useful in simplifying expression in which

product or sum (POS) of variables is inverted

The TWO theorems are:

X.Y = X + Y &

X+Y = X . Y

Page 28: Ch04 Boolean Algebra.pdf

X.Y = X + Y

(a) & (b) Equivalent circuit implied by the

theorem

(c) Alternative symbol for the NAND function

(d) Truth table that illustrates DeMorgan’s

Theorem

(d)

Input Output

X Y XY X+Y

0 0 1 1

0 1 1 1

1 0 1 1

1 1 0 0

DeMorgan’s Theorems

Page 29: Ch04 Boolean Algebra.pdf

(a) & (b) Equivalent circuit implied by the

theorem

(c) Alternative symbol for the NOR function

(d) Truth table that illustrates DeMorgan’s

Theorem

Input Output

X Y X+Y XY

0 0 1 1

0 1 0 0

1 0 0 0

1 1 0 0 (d)

X+Y = X . Y

DeMorgan’s Theorems

Page 30: Ch04 Boolean Algebra.pdf

Solve this

Page 31: Ch04 Boolean Algebra.pdf

Solve this

Page 32: Ch04 Boolean Algebra.pdf

Standard Forms of Boolean Expression

Page 33: Ch04 Boolean Algebra.pdf

Sum of products (SOP)

Page 34: Ch04 Boolean Algebra.pdf

Sum of products (SOP)

Page 35: Ch04 Boolean Algebra.pdf

Sum of products (SOP)

Page 36: Ch04 Boolean Algebra.pdf

Product of sum (POS)

Page 37: Ch04 Boolean Algebra.pdf

Standard Forms of Boolean Expressions

Page 38: Ch04 Boolean Algebra.pdf

Standard Forms of Boolean Expressions

Page 39: Ch04 Boolean Algebra.pdf

Solve this

Page 40: Ch04 Boolean Algebra.pdf

Example (Standard SOP)

Page 41: Ch04 Boolean Algebra.pdf

Example (Standard POS)

Page 42: Ch04 Boolean Algebra.pdf

Boolean Expressions & Truth Tables

Page 43: Ch04 Boolean Algebra.pdf

Boolean Expressions & Truth Tables

Page 44: Ch04 Boolean Algebra.pdf

Boolean Expressions & Truth Tables

Page 45: Ch04 Boolean Algebra.pdf

Solve this

Page 46: Ch04 Boolean Algebra.pdf

The Karnaugh Map (K-Map)

Page 47: Ch04 Boolean Algebra.pdf

The K-Map

Page 48: Ch04 Boolean Algebra.pdf

K-Map SOP Minimization

Page 49: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 50: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 51: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 52: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 53: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 54: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 55: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 56: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 57: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 58: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 59: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 60: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 61: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 62: Ch04 Boolean Algebra.pdf

K-map SOP Minimization

Page 63: Ch04 Boolean Algebra.pdf

Example

Page 64: Ch04 Boolean Algebra.pdf

Example

Page 65: Ch04 Boolean Algebra.pdf

Example

Page 66: Ch04 Boolean Algebra.pdf

K-map POS Minimization

Page 67: Ch04 Boolean Algebra.pdf

K-map POS Minimization

Page 68: Ch04 Boolean Algebra.pdf

K-map POS Minimization

Page 69: Ch04 Boolean Algebra.pdf

K-map POS Minimization

Page 70: Ch04 Boolean Algebra.pdf

K-map Minimization – Don’t cares

Page 71: Ch04 Boolean Algebra.pdf

K-map Minimization – Don’t cares

Page 72: Ch04 Boolean Algebra.pdf

Example

Page 73: Ch04 Boolean Algebra.pdf

Example

Page 74: Ch04 Boolean Algebra.pdf

Solve this