CHAPTER III BOOLEAN ALGEBRA

Similar documents
CHAPTER III BOOLEAN ALGEBRA

Lecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps

Chapter 2 Combinational Logic Circuits

Logic Design. Chapter 2: Introduction to Logic Circuits

This form sometimes used in logic circuit, example:

CHAPTER 2 BOOLEAN ALGEBRA

Administrative Notes. Chapter 2 <9>

Chapter 2 Combinational Logic Circuits

Chapter 2 : Boolean Algebra and Logic Gates

CS 121 Digital Logic Design. Chapter 2. Teacher Assistant. Hanin Abdulrahman

Midterm1 Review. Jan 24 Armita

Combinational Logic Fundamentals

Unit 2 Session - 6 Combinational Logic Circuits

MC9211 Computer Organization

Digital Logic Design. Combinational Logic

II. COMBINATIONAL LOGIC DESIGN. - algebra defined on a set of 2 elements, {0, 1}, with binary operators multiply (AND), add (OR), and invert (NOT):

ENG2410 Digital Design Combinational Logic Circuits

Lecture 5: NAND, NOR and XOR Gates, Simplification of Algebraic Expressions

Unit 2 Boolean Algebra

Number System conversions

CHAPTER 5 KARNAUGH MAPS

Chapter-2 BOOLEAN ALGEBRA

Chapter 2: Switching Algebra and Logic Circuits

Karnaugh Maps Objectives

EECS150 - Digital Design Lecture 19 - Combinational Logic Circuits : A Deep Dive

Combinational Logic. Review of Combinational Logic 1

UNIT 5 KARNAUGH MAPS Spring 2011

Simplification of Boolean Functions. Dept. of CSE, IEM, Kolkata

Boolean Algebra and Logic Design (Class 2.2 1/24/2013) CSE 2441 Introduction to Digital Logic Spring 2013 Instructor Bill Carroll, Professor of CSE

Chapter 2 Boolean Algebra and Logic Gates

Digital Circuit And Logic Design I. Lecture 3

Week-I. Combinational Logic & Circuits

Chapter 2 Combinational Logic Circuits

Unit 2 Boolean Algebra

Slide Set 3. for ENEL 353 Fall Steve Norman, PhD, PEng. Electrical & Computer Engineering Schulich School of Engineering University of Calgary

ECE 20B, Winter 2003 Introduction to Electrical Engineering, II LECTURE NOTES #2

Chapter 2. Boolean Algebra and Logic Gates

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev

ECE 238L Boolean Algebra - Part I

Chap 2. Combinational Logic Circuits

EEE130 Digital Electronics I Lecture #4

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev. Section 2: Boolean Algebra & Logic Gates

UNIT 3 BOOLEAN ALGEBRA (CONT D)

Lecture 2 Review on Digital Logic (Part 1)

ECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN. Week 2 Dr. Srinivas Shakkottai Dept. of Electrical and Computer Engineering

DIGITAL ELECTRONICS & it0203 Semester 3

Chapter 2: Boolean Algebra and Logic Gates

Logic and Computer Design Fundamentals. Chapter 2 Combinational Logic Circuits. Part 1 Gate Circuits and Boolean Equations

Digital Logic Design. Malik Najmus Siraj

ELC224C. Karnaugh Maps

Boolean Algebra and Logic Gates

Ex: Boolean expression for majority function F = A'BC + AB'C + ABC ' + ABC.

Gate-Level Minimization

Chapter 2 Combinational logic

Lecture 6: Gate Level Minimization Syed M. Mahmud, Ph.D ECE Department Wayne State University

Binary logic consists of binary variables and logical operations. The variables are

Functions. Computers take inputs and produce outputs, just like functions in math! Mathematical functions can be expressed in two ways:

Computer Organization I

Advanced Digital Design with the Verilog HDL, Second Edition Michael D. Ciletti Prentice Hall, Pearson Education, 2011

UNIT 4 MINTERM AND MAXTERM EXPANSIONS

Lecture 7: Karnaugh Map, Don t Cares

Chapter 2 Combinational

Boolean Algebra & Logic Gates. By : Ali Mustafa

Karnaugh Map & Boolean Expression Simplification

CPE100: Digital Logic Design I

T9: Covering. Prove true by: Method 1: Perfect induction Method 2: Using other theorems and axioms. Number Theorem. T9 B (B+C) = B Covering

211: Computer Architecture Summer 2016

CHAPTER 3 BOOLEAN ALGEBRA

ELCT201: DIGITAL LOGIC DESIGN

Binary Logic and Gates. Our objective is to learn how to design digital circuits.

Chapter 2: Princess Sumaya Univ. Computer Engineering Dept.

EC-121 Digital Logic Design

Chapter 2 Boolean Algebra and Logic Gates

Review. EECS Components and Design Techniques for Digital Systems. Lec 06 Minimizing Boolean Logic 9/ Review: Canonical Forms

BOOLEAN ALGEBRA CLASS XII. Presented By : Dinesh Patel PGT CS KV IIT Powai

Combinational Logic Design Principles

DIGITAL CIRCUIT LOGIC BOOLEAN ALGEBRA

Chapter 2 Boolean Algebra and Logic Gates

CPE100: Digital Logic Design I

Boolean Algebra and Logic Gates Chapter 2. Topics. Boolean Algebra 9/21/10. EECE 256 Dr. Sidney Fels Steven Oldridge

Standard Expression Forms

Minimization techniques

Binary Logic and Gates

If f = ABC + ABC + A B C then f = AB C + A BC + AB C + A BC + A B C

Signals and Systems Digital Logic System

Chapter 3. Boolean Algebra. (continued)

Combinational Logic Circuits Part II -Theoretical Foundations

Solutions to Assignment No 5 Digital Techniques Fall 2007

CS 226: Digital Logic Design

EEA051 - Digital Logic 數位邏輯 吳俊興高雄大學資訊工程學系. September 2004

Ch 2. Combinational Logic. II - Combinational Logic Contemporary Logic Design 1

Slides for Lecture 10

BOOLEAN ALGEBRA. Introduction. 1854: Logical algebra was published by George Boole known today as Boolean Algebra

EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits)

Outline. EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) Combinational Logic (CL) Defined

Chapter 2 Combinational Logic Circuits

Introduction to Digital Logic Missouri S&T University CPE 2210 Karnaugh Maps

Review for Test 1 : Ch1 5

CSE 140: Components and Design Techniques for Digital Systems

Logic Gate Level. Part 2

Transcription:

CHAPTER III- CHAPTER III CHAPTER III R.M. Dansereau; v..

CHAPTER III-2 BOOLEAN VALUES INTRODUCTION BOOLEAN VALUES Boolean algebra is a form of algebra that deals with single digit binary values and variables. Values and variables can indicate some of the following binary pairs of values: ON / OFF TRUE / FALSE HIGH / LOW CLOSED / OPEN / R.M. Dansereau; v..

CHAPTER III-3 BOOL. OPERATIONS FUNDAMENTAL OPERATORS BOOLEAN VALUES -INTRODUCTION Three fundamental operators in Boolean algebra NOT: unary operator that complements represented as A, A, or A AND: binary operator which performs logical multiplication i.e. A ANDed with B would be represented as AB or A B OR: binary operator which performs logical addition i.e. A ORed with B would be represented as A+ B NOT AND OR A A A B AB A B A + B R.M. Dansereau; v..

CHAPTER III-4 BOOL. OPERATIONS BINARY BOOLEAN OPERATORS BOOLEAN OPERATIONS -FUNDAMENTAL OPER. Below is a table showing all possible Boolean functions given the twoinputs A and B. F N A B F F F 2 F 3 F 4 F 5 F 6 F 7 F 8 F 9 F F F 2 F 3 F 4 F 5 AB A B A + B B A AB Null A B A B Identity Inhibition A + B Implication R.M. Dansereau; v..

CHAPTER III-5 PRECEDENCE OF OPERATORS BOOLEAN OPERATIONS -FUNDAMENTAL OPER. -BINARY BOOLEAN OPER. Boolean expressions must be evaluated with the following order of operator precedence parentheses NOT AND OR Example: F = ( A( C+ BD) + BC)E F = A C + BD { + BC { E { R.M. Dansereau; v..

CHAPTER III-6 FUNCTION EVALUATION BOOLEAN OPERATIONS -PRECEDENCE OF OPER. Example : Evaluate the following expression when A =, B =, C = Solution Example 2: Evaluate the following expression when A =, B =, C =, D = Solution F = C+ CB + BA F = + + = + + = F = D( BCA + ( AB+ C) + C) F = ( + ( + ) + ) = ( + + ) = = R.M. Dansereau; v..

CHAPTER III-7 BASIC IDENTITIES BOOLEAN OPERATIONS -PRECEDENCE OF OPER. -FUNCTION EVALUATION X + = X X + = X + X = X X + X = ( X ) = X X + Y = Y + X X = X X = X X = XY = YX X + ( Y + Z) = ( X + Y) + Z XYZ ( ) = ( XY)Z XY ( + Z) = XY + XZ X + YZ = ( X + Y) ( X + Z) X X + XY = X + X Y = X + Y ( X + Y) = X Y X X = X XX ( + Y) = X XX ( + Y) = XY ( XY) = X + Y XY + X Z + YZ ( X + Y) ( X + Z) ( Y + Z) = XY + X Z = ( X + Y) ( X + Z) Identity Idempotent Law Complement Involution Law Commutativity Associativity Distributivity Absorption Law Simplification DeMorgan s Law Consensus Theorem R.M. Dansereau; v..

CHAPTER III-8 DUALITY PRINCIPLE -PRECEDENCE OF OPER. -FUNCTION EVALUATION -BASIC IDENTITIES Duality principle: States that a Boolean equation remains valid if we take the dual of the expressions on both sides of the equals sign. The dual can be found by interchanging the AND and OR operators along with also interchanging the s and s. This is evident with the duals in the basic identities. For instance: DeMorgan s Law can be expressed in two forms ( X + Y) = X Y as well as ( XY) = X + Y R.M. Dansereau; v..

CHAPTER III-9 FUNCTION MANIPULATION () -FUNCTION EVALUATION -BASIC IDENTITIES -DUALITY PRINCIPLE Example: Simplify the following expression F = BC + BC + BA Simplification F = B( C + C) + BA F = B + BA F = B( + A) F = B R.M. Dansereau; v..

CHAPTER III- FUNCTION MANIPULATION (2) -BASIC IDENTITIES -DUALITY PRINCIPLE -FUNC. MANIPULATION Example: Simplify the following expression F = A + AB + ABC + ABCD + ABCDE Simplification F = A + A( B + BC + BCD + BCDE) F = A+ B+ BC+ BCD+ BCDE F = A+ B+ B( C+ CD+ CDE) F = A+ B+ C+ CD+ CDE F = A+ B+ C+ C( D+ DE) F = A+ B+ C+ D+ DE F = A+ B+ C+ D+ E R.M. Dansereau; v..

CHAPTER III- FUNCTION MANIPULATION (3) -BASIC IDENTITIES -DUALITY PRINCIPLE -FUNC. MANIPULATION Example: Show that the following equality holds ABC ( + BC) = A+ ( B + C) ( B + C) Simplification ABC ( + BC) = A + ( BC+ BC) = A + ( BC) ( BC) = A + ( B + C) ( B+ C) R.M. Dansereau; v..

CHAPTER III-2 STANDARD FORMS SOP AND POS -BASIC IDENTITIES -DUALITY PRINCIPLE -FUNC. MANIPULATION Boolean expressions can be manipulated into many forms. Some standardized forms are required for Boolean expressions to simplify communication of the expressions. Sum-of-products (SOP) Example: F( A, B, C, D) = AB + BCD + AD Products-of-sums (POS) Example: FABCD (,,, ) = ( A+ B) ( B+ C + D) ( A + D) R.M. Dansereau; v..

R.M. Dansereau; v.. INTRO. TO COMP. ENG. CHAPTER III-3 STANDARD FORMS MINTERMS STANDARD FORMS -SOP AND POS The following table gives the minterms for a three-input system A B C ABC ABC ABC ABC ABC ABC ABC ABC m 2 m 3 m 4 m m m 5 m 6 m 7

CHAPTER III-4 STANDARD FORMS SUM OF MINTERMS STANDARD FORMS -SOP AND POS -MINTERMS Sum-of-minterms standard form expresses the Boolean or switching expression in the form of a sum of products using minterms. For instance, the following Boolean expression using minterms FABC (,, ) = ABC + ABC + ABC + ABC could instead be expressed as FABC (,, ) = m + m + m 4 + m 5 or more compactly FABC (,, ) = m(,, 4, 5) = one-set(,, 4, 5) R.M. Dansereau; v..

CHAPTER III-5 STANDARD FORMS MAXTERMS STANDARD FORMS -SOP AND POS -MINTERMS -SUM OF MINTERMS The following table gives the maxterms for a three-input system M M M 2 M 3 M 4 M 5 M 6 M 7 A B C A+ B+ C A+ B+ C A + B + C A + B + C A+ B+ C A + B + C A + B + C A+ B+ C R.M. Dansereau; v..

CHAPTER III-6 STANDARD FORMS PRODUCT OF MAXTERMS STANDARD FORMS -MINTERMS -SUM OF MINTERMS -MAXTERMS Product-of-maxterms standard form expresses the Boolean or switching expression in the form of product of sums using maxterms. For instance, the following Boolean expression using maxterms FABC (,, ) = ( A+ B+ C) ( A+ B+ C) ( A+ B + C) could instead be expressed as FABC (,, ) = M M 4 M 7 or more compactly as FABC (,, ) = M(, 4, 7) = zero-set(, 4, 7) R.M. Dansereau; v..

CHAPTER III-7 STANDARD FORMS MINTERM AND MAXTERM EXP. STANDARD FORMS -SUM OF MINTERMS -MAXTERMS -PRODUCT OF MAXTERMS Given an arbitrary Boolean function, such as FABC (,, ) = AB + B( A + C) how do we form the canonical form for: sum-of-minterms Expand the Boolean function into a sum of products. Then take each term with a missing variable X and AND it with X + X. product-of-maxterms Expand the Boolean function into a product of sums. Then take each factor with a missing variable X and OR it with XX. R.M. Dansereau; v..

CHAPTER III-8 STANDARD FORMS FORMING SUM OF MINTERMS STANDARD FORMS -MAXTERMS -PRODUCT OF MAXTERMS -MINTERM & MAXTERM Example FABC (,, ) = AB + B( A + C) = AB + AB + BC = = = AB( C + C) + AB( C + C) +( A + A)BC ABC + ABC + ABC + ABC + ABC m(,, 4, 6, 7) A B C F 4 6 7 Minterms listed as s in Truth Table R.M. Dansereau; v..

CHAPTER III-9 STANDARD FORMS FORMING PROD OF MAXTERMS STANDARD FORMS -PRODUCT OF MAXTERMS -MINTERM & MAXTERM -FORM SUM OF MINTERMS Example F( A, B, C) = AB + B( A + C) = AB + AB + BC = = = = ( A + B) ( A + B + C) ( A + B + C) ( A + B + CC) ( A+ B+ C) ( A+ B+ C) ( A + B + C) ( A + B + C) ( A + B + C) M( 2, 3, 5) A B C F 2 3 5 (using distributivity) Maxterms listed as s in Truth Table R.M. Dansereau; v..

CHAPTER III-2 STANDARD FORMS CONVERTING MIN AND MAX STANDARD FORMS -MINTERM & MAXTERM -SUM OF MINTERMS -PRODUCT OF MAXTERMS Converting between sum-of-minterms and product-of-maxterms The two are complementary, as seen by the truth tables. To convert interchange the and, then use missing terms. Example: The example from the previous slides FABC (,, ) = m(,, 4, 6, 7) is re-expressed as F( A, B, C) = M( 2, 3, 5) where the numbers 2, 3, and 5 were missing from the minterm representation. R.M. Dansereau; v..

CHAPTER III-2 SIMPLIFICATION KARNAUGH MAPS STANDARD FORMS -SUM OF MINTERMS -PRODUCT OF MAXTERMS -CONVERTING MIN & MAX Often it is desired to simplify a Boolean function. A quick graphical approach is to use Karnaugh maps. 2-variable Karnaugh map 3-variable Karnaugh map 4-variable Karnaugh map CD AB A B BC A F = AB F = AB + C F = AB + CD R.M. Dansereau; v..

CHAPTER III-22 SIMPLIFICATION KARNAUGH MAP ORDERING STANDARD FORMS SIMPLIFICATION -KARNAUGH MAPS Notice that the ordering of cells in the map are such that moving from one cell to an adjacent cell only changes one variable. 2-variable Karnaugh map 3-variable Karnaugh map 4-variable Karnaugh map CD D D D AB BC A B C C C 3 2 A A 4 5 7 6 A 3 2 A 2 3 5 4 A 2 3 A 4 5 7 6 A 8 9 B B B B C C B B B This ordering allows for grouping of minterms/maxterms for simplification. R.M. Dansereau; v..

CHAPTER III-23 SIMPLIFICATION IMPLICANTS STANDARD FORMS SIMPLIFICATION -KARNAUGH MAPS -KARNAUGH MAP ORDER Implicant Bubble covering only s (size of bubble must be a power of 2). Prime implicant Bubble that is expanded as big as possible (but increases in size by powers of 2). Essential prime implicant Bubble that contains a covered only by itself and no other prime implicant bubble. Non-essential prime implicant A that can be bubbled by more then one prime implicant bubble. CD AB R.M. Dansereau; v..

CHAPTER III-24 SIMPLIFICATION PROCEDURE FOR SOP SIMPLIFICATION -KARNAUGH MAPS -KARNAUGH MAP ORDER -IMPLICANTS Procedure for finding the SOP from a Karnaugh map Step : Form the 2-, 3-, or 4-variable Karnaugh map as appropriate for the Boolean function. Step 2: Identify all essential prime implicants for s in the Karnaugh map Step 3: Identify non-essential prime implicants for s in the Karnaugh map. Step 4: For each essential and one selected non-essential prime implicant from each set, determine the corresponding product term. Step 5: Form a sum-of-products with all product terms from previous step. R.M. Dansereau; v..

CHAPTER III-25 SIMPLIFICATION EXAMPLE FOR SOP () SIMPLIFICATION -KARNAUGH MAP ORDER -IMPLICANTS -PROCEDURE FOR SOP Simplify the following Boolean function F( A, B, C) = m(,, 4, 5) = ABC + ABC + ABC + ABC Solution: BC A zero-set( 2, 3, 6, 7) one-set(,, 4, 5) The essential prime implicants are B. There are no non-essential prime implicants. The sum-of-products solution is F = B. R.M. Dansereau; v..

CHAPTER III-26 SIMPLIFICATION EXAMPLE FOR SOP (2) SIMPLIFICATION -IMPLICANTS -PROCEDURE FOR SOP -EXAMPLE FOR SOP Simplify the following Boolean function FABC (,, ) = m(,, 4, 6, 7) = ABC + ABC + ABC + ABC + ABC Solution: BC A zero-set( 235,, ) one-set(,, 4, 6, 7) The essential prime implicants are AB and AB. The non-essential prime implicants are BC or AC. The sum-of-products solution is F = AB+ AB+ BC or F = AB+ AB+ AC. R.M. Dansereau; v..

CHAPTER III-27 SIMPLIFICATION PROCEDURE FOR POS SIMPLIFICATION -IMPLICANTS -PROCEDURE FOR SOP -EXAMPLE FOR SOP Procedure for finding the SOP from a Karnaugh map Step : Form the 2-, 3-, or 4-variable Karnaugh map as appropriate for the Boolean function. Step 2: Identify all essential prime implicants for s in the Karnaugh map Step 3: Identify non-essential prime implicants for s in the Karnaugh map. Step 4: For each essential and one selected non-essential prime implicant from each set, determine the corresponding sum term. Step 5: Form a product-of-sums with all sum terms from previous step. R.M. Dansereau; v..

CHAPTER III-28 SIMPLIFICATION EXAMPLE FOR POS () SIMPLIFICATION -PROCEDURE FOR SOP -EXAMPLE FOR SOP -PROCEDURE FOR POS Simplify the following Boolean function FABC (,, ) = M( 2, 3, 5) = ( A + B+ C) ( A+ B+ C) ( A+ B+ C) Solution: BC A zero-set( 2, 3, 5) one-set(,, 4, 6, 7) The essential prime implicants are A + B + C and A + B. There are no non-essential prime implicants. The product-of-sums solution is F = ( A+ B) ( A + B+ C). R.M. Dansereau; v..

CHAPTER III-29 SIMPLIFICATION EXAMPLE FOR POS (2) SIMPLIFICATION -EXAMPLE FOR SOP -PROCEDURE FOR POS -EXAMPLE FOR POS Simplify the following Boolean function Solution: The essential prime implicants are B + C and B+ C+ D. The non-essential prime implicants can be A + B + D or A+ C+ D. The product-of-sums solution can be either or F( A, B, C) = M(,, 5, 7, 8, 9, 5) F = ( B+ C) ( B+ C+ D) ( A + B + D) F = ( B+ C) ( B+ C+ D) ( A + C + D) zero-set(,, 5, 7, 8, 9, 5) one-set( 2, 3, 4, 6,,, 2, 3, 4) CD AB R.M. Dansereau; v..

CHAPTER III-3 SIMPLIFICATION DON T-CARE CONDITION SIMPLIFICATION -EXAMPLE FOR SOP -PROCEDURE FOR POS -EXAMPLE FOR POS Switching expressions are sometimes given as incomplete, or with don tcare conditions. Having don t-care conditions can simplify Boolean expressions and hence simplify the circuit implementation. Along with the zero-set () and one-set (), we will also have dc (). Don t-cares conditions in Karnaugh maps Don t-cares will be expressed as an X or - in Karnaugh maps. Don t-cares can be bubbled along with the s or s depending on what is more convenient and help simplify the resulting expressions. R.M. Dansereau; v..

CHAPTER III-3 SIMPLIFICATION DON T-CARE EXAMPLE () SIMPLIFICATION -PROCEDURE FOR POS -EXAMPLE FOR POS -DON T-CARE CONDITION Find the SOP simplification for the following Karnaugh map CD AB zero-set(,, 5, 7, 8, 9, 5) one-set( 2, 3, 4, 6,, 2) dc(, 3, 4) Taken to be Solution: X X X The essential prime implicants are BD and BC. There are no non-essential prime implicants. Taken to be The sum-of-products solution is F = BC+ BD. R.M. Dansereau; v..

CHAPTER III-32 SIMPLIFICATION DON T-CARE EXAMPLE (2) SIMPLIFICATION -EXAMPLE FOR POS -DON T-CARE CONDITION -DON T-CARE EXAMPLE Find the POS simplification for the following Karnaugh map CD AB Taken to be Solution: X X X The essential prime implicants are B + C and B + D. There are no non-essential prime implicants. The product-of-sums solution is F = ( B+ C) ( B + D). zero-set(,, 5, 7, 8, 9, 5) one-set( 2, 3, 4, 6,, 2) dc(, 3, 4) Taken to be R.M. Dansereau; v..