Boolean Algebra and Combinational Logic

Slides:



Advertisements
Similar presentations
EET 1131 Unit 5 Boolean Algebra and Reduction Techniques
Advertisements

BOOLEAN ALGEBRA. A Mathematical notation used to represent the function of the Digital circuit. A notation that allows variables & constants to have only.
Chapter3: Gate-Level Minimization Part 2
Prof. Sin-Min Lee Department of Computer Science
Chapter 2 Logic Circuits.
Boolean Algebra and Reduction Techniques
Basics: Digital Logic. F(x,y) = x.y F(x,y) = x.y + x'.y'
EET 1131 Unit 5 Boolean Algebra and Reduction Techniques
Computer Engineering (Logic Circuits) (Karnaugh Map)
CSCE 211: Digital Logic Design
Computer Programming Skills Revision Prepared by: Ghader Kurdi.
Chapter 5 Boolean Algebra and Reduction Techniques William Kleitz Digital Electronics with VHDL, Quartus® II Version Copyright ©2006 by Pearson Education,
ENGG 1203 Tutorial Combinational Logic (I) 1 Feb Learning Objectives
Overview Part 2 – Circuit Optimization 2-4 Two-Level Optimization
2.7 NAND and NOR logic networks
Boolean Algebra and Logic Simplification
1 Why study Boolean Algebra? 4 It is highly desirable to find the simplest circuit implementation (logic) with the smallest number of gates or wires. We.
1 Fundamentals of Computer Science Propositional Logic (Boolean Algebra)
Digital Logic Chapter 4 Presented by Prof Tim Johnson
BOOLEAN ALGEBRA Saras M. Srivastava PGT (Computer Science)
Boolean Algebra and Digital Circuits
Digital Logic Basics Chapter 2 S. Dandamudi To be used with S. Dandamudi, “Fundamentals of Computer Organization and Design,” Springer, 
Digital Circuits Design Chin-Sung Lin Eleanor Roosevelt High School.
1 © 2015 B. Wilkinson Modification date: January 1, 2015 Designing combinational circuits Logic circuits whose outputs are dependent upon the values placed.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. Circuit Optimization Logic and Computer Design Fundamentals.
ECE 2110: Introduction to Digital Systems PoS minimization Don’t care conditions.
Digital Systems: Combinational Logic Circuits Wen-Hung Liao, Ph.D.
Chapter 5 Boolean Algebra and Reduction Techniques 1.
Gate-Level Minimization
CHAPTER 3: PRINCIPLES OF COMBINATIONAL LOGIC
CH51 Chapter 5 Combinational Logic By Taweesak Reungpeerakul.
LOGIC GATES & BOOLEAN ALGEBRA
Unit 1 Minimization Techniques and Logic Gates. Introduction to Digital Systems Analog devices and systems process time-varying signals that can take.
Venn Diagram – the visual aid in verifying theorems and properties 1 E.
February 2, 2004CS 2311 Karnaugh maps Last time we saw applications of Boolean logic to circuit design. – The basic Boolean operations are AND, OR and.
Karnaugh Maps (K-Maps)
CS231 Boolean Algebra1 Summary so far So far: – A bunch of Boolean algebra trickery for simplifying expressions and circuits – The algebra guarantees us.
LOGIC CIRCUITLOGIC CIRCUIT. Goal To understand how digital a computer can work, at the lowest level. To understand what is possible and the limitations.
Floyd, Digital Fundamentals, 10 th ed Digital Fundamentals Tenth Edition Floyd Chapter 5 © 2008 Pearson Education.
Boolean Algebra and Reduction Techniques
1 EENG 2710 Chapter 2 Algebraic Methods For The Analysis and Synthesis of Logic circuits.
1 Lect # 2 Boolean Algebra and Logic Gates Boolean algebra defines rules for manipulating symbolic binary logic expressions. –a symbolic binary logic expression.
ECE 3110: Introduction to Digital Systems Chapter #4 Review.
Floyd, Digital Fundamentals, 10 th ed Digital Fundamentals Tenth Edition Floyd Chapter 4 © 2008 Pearson Education.
Sum-of-Products (SOP)
DKT 122/3 - DIGITAL SYSTEM I Chapter 4A:Boolean Algebra and Logic Simplification) Mohd ridzuan mohd nor
June 12, 2002© Howard Huang1 Karnaugh maps Last time we saw applications of Boolean logic to circuit design. – The basic Boolean operations are.
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Logic Design Dr. Oliver Faust.
BOOLEAN ALGEBRA AND LOGIC SIMPLIFICATION
CHAPTER 1 INTRODUCTION TO DIGITAL LOGIC
ECE DIGITAL LOGIC LECTURE 8: BOOLEAN FUNCTIONS Assistant Prof. Fareena Saqib Florida Institute of Technology Spring 2016, 02/11/2016.
BOOLEAN ALGEBRA LOGIC GATES. Introduction British mathematician George Boole( ) was successful in finding the link between logic and mathematics.
School of Computer and Communication Engineering, UniMAP DKT 122/3 - DIGITAL SYSTEM I Chapter 4A:Boolean Algebra and Logic Simplification) Mohd ridzuan.
Chapter 5 Boolean Algebra and Reduction Techniques 1.
1 Ch.3 Logic Gates and Boolean Algebra – Part 1
Lecture 07 Digital logic By Amr Al-Awamry. 4 variables K-Map.
1 EENG 2710 Chapter 3 Simplification of Switching Functions.
Mu.com.lec 9. Overview Gates, latches, memories and other logic components are used to design computer systems and their subsystems Good understanding.
CHAPTER 2 Boolean algebra and Logic gates
EET 1131 Unit 5 Boolean Algebra and Reduction Techniques
CHAPTER 3 Simplification of Boolean Functions
Chapter 3 Notes – Part II Review Questions
ECE 2110: Introduction to Digital Systems
CS 105 Digital Logic Design
ECE 3110: Introduction to Digital Systems
Boolean Algebra and Combinational Logic
BASIC & COMBINATIONAL LOGIC CIRCUIT
Karnaugh Mapping Digital Electronics
Dr. Clincy Professor of CS
Circuit Simplification and
Presentation transcript:

Boolean Algebra and Combinational Logic Chapter 3 Boolean Algebra and Combinational Logic

Logic Gate Network Two or more logic gates connected together. Described by truth table, logic diagram, or Boolean expression.

Logic Gate Network

Boolean Expression for Logic Gate Network Similar to finding the expression for a single gate. Inputs may be compound expressions that represent outputs from previous gates.

Boolean Expression for Logic Gate Network

Bubble-to-Bubble Convention Choose gate symbols so that outputs with bubbles connect to inputs with bubbles. Results in a cleaner notation and a clearer idea of the circuit function.

Bubble-to-Bubble Convention

Order of Precedence Unless otherwise specified, in Boolean expressions AND functions are performed first, followed by ORs. To change the order of precedence, use parentheses.

Order of Precedence

Simplification by Double Inversion When two bubbles touch, they cancel out. In Boolean expressions, bars of the same length cancel.

Logic Diagrams from Boolean Expressions Use order of precedence. A bar over a group of variables is the same as having those variables in parentheses.

Logic Diagrams from Boolean Expressions

Truth Tables from Logic Diagrams or Boolean Expressions Two methods: Combine individual truth tables from each gate into a final output truth table. Develop a Boolean expression and use it to fill in the truth table.

Truth Tables from Logic Diagrams or Boolean Expressions

Truth Tables from Logic Diagrams or Boolean Expressions

Circuit Description Using Boolean Expressions Product term: Part of a Boolean expression where one or more true or complement variables are ANDed. Sum term: Part of a Boolean expression where one or more true or complement variables are ORed.

Circuit Description Using Boolean Expressions Sum-of-products (SOP): A Boolean expression where several product terms are summed (ORed) together. Product-of-sum (POS): A Boolean expression where several sum terms are multiplied (ANDed) together.

Examples of SOP and POS Expressions

SOP and POS Utility SOP and POS formats are used to present a summary of the circuit operation.

Bus Form A schematic convention in which each variable is available, in true or complement form, at any point along a conductor.

Bus Form

Deriving a SOP Expression from a Truth Table Each line of the truth table with a 1 (HIGH) output represents a product term. Each product term is summed (ORed).

Deriving a POS Expression from a Truth Table Each line of the truth table with a 0 (LOW) output represents a sum term. The sum terms are multiplied (ANDed).

Deriving a POS Expression from a Truth Table

Theorems of Boolean Algebra Used to minimize a Boolean expression to reduce the number of logic gates in a network. 24 theorems.

Commutative Property The operation can be applied in any order with no effect on the result. Theorem 1: xy = yx Theorem 2: x + y = y + x

Associative Property The operands can be grouped in any order with no effect on the result. Theorem 3: (xy)z = x(yz) = (xz)y Theorem 4: (x + y) + z = x + (y + z) = (x + z) + y

Distributive Property Allows distribution (multiplying through) of AND across several OR functions. Theorem 5: x(y + z) = xy + xz Theorem 6: (x + y)(w + z) = xw + xz + yw + yz

Distributive Property

Operations with Logic 0 Theorem 7: x  0 = 0 Theorem 8: x + 0 = x

Operations with Logic 1 Theorem 10: x  1 = x Theorem 11: x + 1 = 1

Operations with Logic 1

Operations with the Same Variable Theorem 13: x  x = x Theorem 14: x + x = x Theorem 15: x  x = 0

Operations with the Complement of a Variable

Operations with the Complement of a Variable

Double Inversion

DeMorgan’s Theorem

Multivariable Theorems Theorem 22: x + xy = x Theorem 23: (x + y)(x + y) = x + yz

Multivariable Theorems

Simplifying SOP and POS Expressions A Boolean expression can be simplified by: Applying the Boolean Theorems to the expression Application of graphical tool called a Karnaugh map (K-map) to the expression

Simplifying an Expression

Simplifying an Expression

Simplification By Karnaugh Mapping A Karnaugh map, called a K-map, is a graphical tool used for simplifying Boolean expressions.

Construction of a Karnaugh Map Square or rectangle divided into cells. Each cell represents a line in the truth table. Cell contents are the value of the output variable on that line of the truth table.

Construction of a Karnaugh Map

Construction of a Karnaugh Map

Construction of a Karnaugh Map

K-map Cell Coordinates Adjacent cells differ by only one variable. Grouping adjacent cells allows canceling variables in their true and complement forms.

Grouping Cells Cells can be grouped as pairs, quads, and octets. A pair cancels one variable. A quad cancels two variables. An octet cancels three variables.

Grouping Cells

Grouping Cells

Grouping Cells

Grouping Cells along the Outside Edge The cells along an outside edge are adjacent to cells along the opposite edge. In a four-variable map, the four corner cells are adjacent.

Grouping Cells along the Outside Edge

Loading a K-Map from a Truth Table Each cell of the K-map represents one line from the truth table. The K-map is not laid out in the same order as the truth table.

Loading a K-Map from a Truth Table

Loading a K-Map from a Truth Table

Multiple Groups Each group is a term in the maximum SOP expression. A cell may be grouped more than once as long as every group has at least one cell that does not belong to any other group. Otherwise, redundant terms will result.

Multiple Groups

Maximum Simplification Achieved if the circled group of cells on the K-map are as large as possible. There are as few groups as possible.

Maximum Simplification

Using K-Maps for Partially Simplified Circuits Fill in the K-map from the existing product terms. Each product term that is not a minterm will represent more than one cell. Once completed, regroup the K-map for maximum simplification.

Using K-Maps for Partially Simplified Circuits

Using K-Maps for Partially Simplified Circuits

Don’t Care States The output state of a circuit for a combination of inputs that will never occur. Shown in a K-map as an “x”.

Value of Don’t Care States In a K-map, set “x” to a 0 or a 1, depending on which case will yield the maximum simplification.

Value of Don’t Care States

POS Simplification Using Karnaugh Mapping Group those cells with values of 0. Use the complements of the cell coordinates as the sum term.

POS Simplification Using Karnaugh Mapping

Bubble-to-Bubble Convention – Step 1 Start at the output and work towards the input. Select the OR gate as the last gate for an SOP solution. Select the AND gate as the last gate for an POS solution.

Bubble-to-Bubble Convention – Step 2 Choose the active level of the output if necessary. Go back to the circuits inputs to the next level of gating.

Bubble-to-Bubble Convention – Step 3 Match the output of these gates to the input of the final gate. This may require converting the gate to its DeMorgan’s equivalent. Repeat Step 2 until you reach the circuits.

Bubble-to-Bubble Convention – Step 3

Bubble-to-Bubble Convention – Step 3

Universality of NAND/NOR Gates Any logic gate can be implemented using only NAND or only NOR gates.

NOT from NAND An inverter can be constructed from a single NAND gate by connecting both inputs together.

NOT from NAND

AND from NAND The AND gate is created by inverting the output of the NAND gate.

AND from NAND

OR and NOR from NAND

OR and NOR from NAND

OR and NOR from NAND

NOT from NOR An inverter can be constructed from a single NOR gate by connecting both inputs together.

NOT from NOR

OR from NOR The OR gate is created by inverting the output of the NOR gate.

OR from NOR

AND and NAND from NOR

AND and NAND from NOR

AND and NAND from NOR

Practical Circuit Implementation in SSI Not all gates are available in TTL. TTL components are becoming more difficult to find. In a circuit design, it may be necessary to replace gates with other types of gates in order to achieve the final design.

Pulsed Operation The enabling and inhibiting properties of the basic gates are used to pass or block pulsed digital signals. The pulsed signal is applied to one input. One input is used to control (enable/inhibit) the pulsed digital signal.

Pulsed Operation

Pulsed Operation

General Approach to Logic Circuit Design – 1 Have an accurate description of the problem. Understand the effects of all inputs on all outputs. Make sure all combinations have been accounted for.

General Approach to Logic Circuit Design – 2 Active levels as well as the constraints on all inputs and outputs should be specified. Each output of the circuit should be described either verbally or with a truth table.

General Approach to Logic Circuit Design – 3 Look for keywords AND, OR, NOT that can be translated into a Boolean expression. Use Boolean algebra or K-maps to simplify expressions or truth tables.