NAME Activity Circuit Simplification: Boolean Algebra

Similar documents
WEEK 2.1 BOOLEAN ALGEBRA

Unit 2 Boolean Algebra

INTRO TO I & CT. (Boolean Algebra and Logic Simplification.) Lecture # By: Department of CS & IT.

Logic Design. Chapter 2: Introduction to Logic Circuits

DIGITAL CIRCUIT LOGIC BOOLEAN ALGEBRA

CprE 281: Digital Logic

Topic 1: Propositional logic

CS 226: Digital Logic Design

EEE130 Digital Electronics I Lecture #4

Computer Organization: Boolean Logic

WEEK 3.1 MORE ON KARNAUGH MAPS

UC Berkeley College of Engineering, EECS Department CS61C: Representations of Combinational Logic Circuits

Digital Logic Design ABC. Representing Logic Operations. Dr. Kenneth Wong. Determining output level from a diagram. Laws of Boolean Algebra

Chapter 2: Switching Algebra and Logic Circuits

Chapter 2 Boolean Algebra and Logic Gates

Simplifying Logic Circuits with Karnaugh Maps

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

1 Boolean Algebra Simplification

Reduction of Logic Equations using Karnaugh Maps

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

MODULE- 07 : FLUIDICS AND FLUID LOGIC

Boolean Algebra and Logic Simplification

Why digital? Overview. Number Systems. Binary to Decimal conversion

BOOLEAN ALGEBRA THEOREMS

THE LOGIC OF COMPOUND STATEMENTS

Binary Logic and Gates

CS61c: Representations of Combinational Logic Circuits

The Karnaugh Map COE 202. Digital Logic Design. Dr. Muhamed Mudawar King Fahd University of Petroleum and Minerals

Boolean Algebra & Logic Gates. By : Ali Mustafa

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

COS 140: Foundations of Computer Science

P, NP, NP-Complete. Ruth Anderson

P1-763.PDF Why Proofs?

Applications of Logic Gates in Whistle Controlled Keychain

Boolean Algebra. The Building Blocks of Digital Logic Design. Section. Section Overview. Binary Operations and Their Representation.

The Arithmetic of Reasoning. Chessa Horomanski & Matt Corson

University of Toronto Faculty of Applied Science and Engineering Department of Electrical and Computer Engineering Midterm Examination

Chapter 1: Logic systems

Building a Computer Adder

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

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

INTRODUCTION TO INFORMATION & COMMUNICATION TECHNOLOGY LECTURE 8 : WEEK 8 CSC-110-T

Discrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST

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

ENG2410 Digital Design Combinational Logic Circuits

Boolean Algebra & Digital Logic

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

EXPERIMENT #4: SIMPLIFICATION OF BOOLEAN FUNCTIONS

Overview. Multiplexor. cs281: Introduction to Computer Systems Lab02 Basic Combinational Circuits: The Mux and the Adder

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

Solve Systems of Equations Algebraically

Chapter 3 Combinational Logic Design

BOOLEAN LOGIC. By- Neha Tyagi PGT CS KV 5 Jaipur II Shift, Jaipur Region. Based on CBSE curriculum Class 11. Neha Tyagi, KV 5 Jaipur II Shift

Number System conversions

DIGITAL CIRCUIT LOGIC BOOLEAN ALGEBRA

Boolean Algebra. Boolean Variables, Functions. NOT operation. AND operation. AND operation (cont). OR operation

Symbolic Logic Outline

T02 Tutorial Slides for Week 6

ELCT201: DIGITAL LOGIC DESIGN

Circuits & Boolean algebra.

2009 Spring CS211 Digital Systems & Lab CHAPTER 2: INTRODUCTION TO LOGIC CIRCUITS

Lecture 4: More Boolean Algebra

Theorem/Law/Axioms Over (.) Over (+)

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

Binary addition example worked out

. T SHREE MAHAPRABHU PUBLIC SCHOOL & COLLEGE NOTES FOR BOARD EXAMINATION SUBJECT COMPUTER SCIENCE (Code: 083) Boolean Algebra

Principles of Computer Architecture. Appendix B: Reduction of Digital Logic. Chapter Contents

211: Computer Architecture Summer 2016

CMSC 313 Lecture 16 Postulates & Theorems of Boolean Algebra Semiconductors CMOS Logic Gates

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

Last lecture Counter design Finite state machine started vending machine example. Today Continue on the vending machine example Moore/Mealy machines

XOR - XNOR Gates. The graphic symbol and truth table of XOR gate is shown in the figure.

Combinational logic systems

Sequential Logic (3.1 and is a long difficult section you really should read!)

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

CSE 20. Lecture 4: Introduction to Boolean algebra. CSE 20: Lecture4

Computer Organization I. Lecture 13: Design of Combinational Logic Circuits

CMSC 313 Lecture 16 Announcement: no office hours today. Good-bye Assembly Language Programming Overview of second half on Digital Logic DigSim Demo

Digital Logic (2) Boolean Algebra

COSC 243. Introduction to Logic And Combinatorial Logic. Lecture 4 - Introduction to Logic and Combinatorial Logic. COSC 243 (Computer Architecture)

Logic Simplification. Boolean Simplification Example. Applying Boolean Identities F = A B C + A B C + A BC + ABC. Karnaugh Maps 2/10/2009 COMP370 1

CS/COE1541: Introduction to Computer Architecture. Logic Design Review. Sangyeun Cho. Computer Science Department University of Pittsburgh

Unit 8A Computer Organization. Boolean Logic and Gates

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

Z = F(X) Combinational circuit. A combinational circuit can be specified either by a truth table. Truth Table

The Sleeping Beauty 3

CARLETON UNIVERSITY. X = Y 0 0 X > Y 1 0 X < Y 0 1 never 1 1 happens. Examples

CS173 Strong Induction and Functions. Tandy Warnow

Chapter 2 Combinational Logic Circuits

Doc112: Hardware. Department of Computing, Imperial College London. Doc112: Hardware Lecture 1 Slide 1

Digital electronics form a class of circuitry where the ability of the electronics to process data is the primary focus.

Electronics. Overview. Introducction to Synthetic Biology

CS 173 Lecture 2: Propositional Logic

CIRCUITS AND ELECTRONICS. The Digital Abstraction

Logic design? Transistor as a switch. Layered design approach. CS/COE1541: Introduction to Computer Architecture. Logic Design Review.

Review Getting the truth table

Chapter 2 Combinational Logic Circuits

Lesson 7: Watch Your Step!

Unit 4: Computer as a logic machine

CSE 140 Midterm I - Solution

Transcription:

NAME Activity 2.1.4 Circuit Simplification: Boolean Algebra Introduction Have you ever had an idea that you thought was so unique that when you told someone else about it, you simply could not believe they thought you were wasting your time with it? If so, you know how the mathematician George Boole felt in the 1800s when he designed a math system that, at the time, had no practical application. Today, however, his math system is the most important mathematical tool used in the design of digital logic circuits. Boole introduced the world to Boolean algebra when he published his work called An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities. In the same way that normal algebra has rules that allow you to simplify algebraic expressions, Boolean algebra has theorems and laws that allow you to simplify expressions used to create logic circuits. By simplifying the logic expression, we can convert a logic circuit into a simpler version that performs the same function. The advantage of a simpler circuit is that it will contain fewer gates, will be easier to build, and will cost less to manufacture. In this activity you will learn how to apply the theorems and laws of Boolean algebra to simplify logic expressions and digital logic circuits. The moral of the story is to keep dreaming. Someday your grandchildren may be using something that you re thinking about right now. When your grandparents were kids, do you think that they imagined someday that we would all have 10,000 songs in our pockets or a telephone in our backpacks? Digital Electronics Activity 2.1.4 Circuit Simplification: Boolean Algebra Page 1

Procedure Using the theorems and laws of Boolean algebra, simplify the following logic expressions. Note the Boolean theorem/law used at each simplification step. Be sure to put your answer in Sum-Of-Products (SOP) form. 1. F 1 = A ( A + A B) 2. F 2 = X Y Z + X Y Z + X Y Z 3. F 3 = J K + J K 4. F 4 = ( B + B)( A B + A B C) 5. F 5 = ( X + Y)( X + Y) 6. F 6 = J K + ( J + K) L + J K 7. F 7 = R S + R ( S + T) + S ( S + U) 8. F 8 = ( N + N M)( N + N M)( N + M) Digital Electronics Activity 2.1.4 Circuit Simplification: Boolean Algebra Page 2

Almost as important as being able to use the laws of Boolean algebra (i.e., associative, commutative, or distributive) to simplify logic expressions, it is also critical that you are able to identify them. Identify the law of Boolean algebra upon which the following equalities are based. 9. A B + A C + B C = A C + B C + A B 10. ( D E)( F G) = D ( E F)G 11. ( R + S) + T) + U = ( R + S) + ( T + U) 12. ( J + K)( L + M) = JL + JM + K L + K M 13. R ( S T + S V) = R S T + R S V Now that you ve practiced simplifying logic expressions, apply your knowledge to simplifying an actual circuit. 14. Shown below is a VERY poorly designed AOI circuit that is part of a coffee vending machine. Write the UN-SIMPLIFIED logic expression for the output Brew Cut Off. If the temperature is too high or the pressure is not below the safe value with water present, the brew sensor cuts off the brew process. Digital Electronics Activity 2.1.4 Circuit Simplification: Boolean Algebra Page 3

15. Using the theorems and laws of Boolean algebra, simplify the logic expression Brew Cut Off. Be sure to put your answer in Sum-Of-Products (SOP) form. 16. In the space provided, draw an AOI circuit that implements the simplified logic expression Brew Cut Off. For your implement, assume that only 2-input AND gates (74LS08), 2-input OR gates (74LS32), and inverters (74LS04) are available. Draw this circuit in the space provided. Brew Cut Off Circuit Digital Electronics Activity 2.1.4 Circuit Simplification: Boolean Algebra Page 4

Conclusion 1. Describe the process that you would use to simplify a logic expression using Boolean algebra. 2. How do you know when you are finished simplifying and have arrived at the simplest equation? 3. Other than using Boolean algebra, how could you prove that two circuits are equivalent? 4. If you worked for a company that manufactured the coffee vending machine that used the poorly designed circuit, how much money would your new design save the company annually if each GATE cost 15 and the company made 500,000 vending machines per year? Digital Electronics Activity 2.1.4 Circuit Simplification: Boolean Algebra Page 5