1 BOOLEAN ALGEBRA Basic mathematics for the study of logic design is Boolean Algebra Basic laws of Boolean Algebra will be implemented as switching devices.

Slides:



Advertisements
Similar presentations
Chapter 2 Logic Circuits.
Advertisements

ECE 331 – Digital System Design Boolean Algebra (Lecture #3) The slides included herein were taken from the materials accompanying Fundamentals of Logic.
ECE 331 – Digital System Design
Chapter 2 – Combinational Logic Circuits Part 1 – Gate Circuits and Boolean Equations Logic and Computer Design Fundamentals.
CS 151 Digital Systems Design Lecture 6 More Boolean Algebra A B.
Contemporary Logic Design Two-Level Logic © R.H. Katz Transparency No. 3-1 Chapter #2: Two-Level Combinational Logic Section 2.1, Logic Functions.
Boolean Algebra and Logic Simplification. Boolean Addition & Multiplication Boolean Addition performed by OR gate Sum Term describes Boolean Addition.
Digital Logic Design Adil Waheed. BOOLEAN ALGEBRA AND LOGIC SIMPLIFICATION AND gate F = A.B OR gate F = A + B NOT gate F = A NAND gate F = A.B NOR gate.
Chapter 2: Boolean Algebra and Logic Functions
©2010 Cengage Learning CHAPTER 2 BOOLEAN ALGEBRA 2.1Introduction 2.2Basic Operations 2.3Boolean Expressions and Truth Tables 2.4Basic Theorems 2.5Commutative,
CHAPTER 2 Boolean Algebra
BOOLEAN ALGEBRA Saras M. Srivastava PGT (Computer Science)
Boolean Algebra and Digital Circuits
©2004 Brooks/Cole FIGURES FOR CHAPTER 2 BOOLEAN ALGEBRA Click the mouse to move to the next page. Use the ESC key to exit this chapter. This chapter in.
Combinational Logic 1.
Module 4.  Boolean Algebra is used to simplify the design of digital logic circuits.  The design simplification are based on: Postulates of Boolean.
LOGIC GATES & BOOLEAN ALGEBRA
ECE 301 – Digital Electronics Basic Logic Operations, Boolean Expressions, and Boolean Algebra (Lecture #3)
6 - 1 Simplification Theorems Useful for simplification of expressions & therefore simplification of the logic network which results. XY + XY' = ( X +
KFUPM COE 202: Digital Logic Design Combinational Logic Part 1 Courtesy of Dr. Ahmad Almulhem.
Digital Logic Design Week 4 Boolean algebra. Laws and rules De Morgan’s theorem Analysis of logic circuits Standard forms Project 1 preparation.
ENGIN112 L6: More Boolean Algebra September 15, 2003 ENGIN 112 Intro to Electrical and Computer Engineering Lecture 6 More Boolean Algebra A B.
Boolean Algebra – II. Outline  Basic Theorems of Boolean Algebra  Boolean Functions  Complement of Functions  Standard Forms.
A. Abhari CPS2131 Chapter 2: Boolean Algebra and Logic Gates Topics in this Chapter: Boolean Algebra Boolean Functions Boolean Function Simplification.
Lecture 4 Boolean Algebra. Logical Statements °A proposition that may or may not be true: Today is Monday Today is Sunday It is raining °Compound Statements.
1 Lect # 2 Boolean Algebra and Logic Gates Boolean algebra defines rules for manipulating symbolic binary logic expressions. –a symbolic binary logic expression.
© BYU 03 BA1 Page 1 ECEn 224 Boolean Algebra – Part 1.
Boolean Algebra & Logic Circuits Dr. Ahmed El-Bialy Dr. Sahar Fawzy.
CEC 220 Digital Circuit Design Boolean Algebra Friday, January 17 CEC 220 Digital Circuit Design Slide 1 of 22.
BOOLEAN ALGEBRA – Digital Circuit 1 Choopan Rattanapoka.
Module –I Boolean Algebra Digital Design Amit Kumar Assistant Professor SCSE, Galgotias University, Greater Noida.
BOOLEAN ALGEBRA AND LOGIC SIMPLIFICATION
ECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN Lecture 4 Dr. Shi Dept. of Electrical and Computer Engineering.
CEC 220 Digital Circuit Design Boolean Algebra II Fri, Sept 4 CEC 220 Digital Circuit Design Slide 1 of 13.
Boolean Algebra. BOOLEAN ALGEBRA Formal logic: In formal logic, a statement (proposition) is a declarative sentence that is either true(1) or false (0).
Boolean Algebra ELEC 311 Digital Logic and Circuits Dr. Ron Hayne Images Courtesy of Cengage Learning.
Lecture 5 More Boolean Algebra A B. Overview °Expressing Boolean functions °Relationships between algebraic equations, symbols, and truth tables °Simplification.
1 CS 352 Introduction to Logic Design Lecture 1 Ahmed Ezzat Number Systems and Boolean Algebra, Ch-1 + Ch-2.
CSE 461. Binary Logic Binary logic consists of binary variables and logical operations. Variables are designated by letters such as A, B, C, x, y, z etc.
1 CS 352 Introduction to Logic Design Lecture 2 Ahmed Ezzat Boolean Algebra and Its Applications Ch-3 + Ch-4.
©2010 Cengage Learning SLIDES FOR CHAPTER 3 BOOLEAN ALGEBRA (continued) Click the mouse to move to the next page. Use the ESC key to exit this chapter.
EET 1131 Unit 5 Boolean Algebra and Reduction Techniques
ECE 301 – Digital Electronics
Chapter 2: Boolean Algebra and Logic Functions
Unit 2 Boolean Algebra.
ECE 20B, Winter 2003 Introduction to Electrical Engineering, II LECTURE NOTES #2 Instructor: Andrew B. Kahng (lecture)
Lecture 2 Boolean Algebra Basic
CHAPTER 3 BOOLEAN ALGEBRA (continued)
CHAPTER 2 Boolean Algebra
CHAPTER 1 : INTRODUCTION
CHAPTER 2 Boolean Algebra This chapter in the book includes:
Lecture 3 Algebraic Simplification
Princess Sumaya University
Boolean Algebra – Part 1 ECEn 224.
SLIDES FOR CHAPTER 2 BOOLEAN ALGEBRA
TN 221: DIGITAL ELECTRONICS 1
FIGURES FOR CHAPTER 2 BOOLEAN ALGEBRA
Lecture 3: Boolean Algebra
CHAPTER 2 Boolean Algebra
Boolean Algebra.
Boolean Algebra.
Boolean Algebra & Logic Circuits
COE 202: Digital Logic Design Combinational Logic Part 1
BOOLEAN ALGEBRA AND LOGIC SIMPLIFICATION Part (a)
CHAPTER 3 BOOLEAN ALGEBRA (continued)
COMS 361 Computer Organization
ECE 352 Digital System Fundamentals
NTU DSD (Digital System Design) 2007
BOOLEAN ALGEBRA.
Presentation transcript:

1 BOOLEAN ALGEBRA Basic mathematics for the study of logic design is Boolean Algebra Basic laws of Boolean Algebra will be implemented as switching devices called logic gates. Networks of Logic gates allow us to manipulate digital signals –Can perform numerical operations on digital signals such as addition, multiplication –Can perform translations from one binary code to another.

2 BOOLEAN VARIABLES, FUNCTIONS A boolean variable can take on two values –Will use the values 0 and 1 –Could just as easily use T, F or H, L or ON, OFF Boolean operations transform Boolean Variables. –Basic operations are NOT, AND, OR We can make more complicated Boolean Functions from the basic boolean operations

3 NOT OPERATION A Y Truth Table The NOT operation (or inverse, or complement operation) replaces a boolean value with its complement: 0 ’ = 1 1 ’ = 0 A ’ is read as NOT A or Complement A A A’A’ Inverter symbol F(A) = A ’ boolean representation

4 AND OPERATION The AND operation is a function of two variables (A, B) F(A, B) = A B boolean function representation When both A and B are 1, then F is = = = = 1 A B Y Truth Table AND A B Y = A B

5 AND OPERATION (CONT’D) Will usually drop the ‘ ‘ in the equation and just write the equation as: F(A, B) = AB boolean function representation Can also view AND operation as two switches in series: Switch Open (0) Switch Closed (1) AB A = 1  Switch A closed B = 1  Switch B closed T = AB = 1  circuit closed

6 OR OPERATION The OR operation is a function of two variables (A, B) F(A,B) = A + B boolean function representation When either A or B are ‘1’, then F is ‘1’ = 0, = 1, = 1, = 1 A B Y Truth Table OR Y = A + B A B

7 OR OPERATION (CONT’D) Can view OR operation as two switches in parallel: Switch B closed (1), so circuit is closed (1) A B Neither switch A or switch B is closed, so circuit is open (0) B A Switch A closed (1), so circuit is closed (1) B A Switch A or Switch B is closed, circuit is closed (1) B A

8 BOOLEAN FUNCTIONS More complex boolean functions can be created by combining basic operations A A’A’ B F(A,B) = A ’ + B A B A ’ F = A ’ + B … more about truth tables later

9 BASIC THEOREMS X + 0 = X X + 1 = 1 X 1 = X X 0 = 0 Dual X + X = XX X = X (X ’ ) ’ = X X + X ’ = 1X X ’ = 0 Expression Idempotent laws Involution laws Laws of Complementarity Operations with ‘0’ and ‘1’

10 DUALITY A dual of a boolean expression is formed by replacing: AND’s  OR’s, OR’s  AND’s, 1’s  0’s, and 0’s  1’s. Variables and their complements are left alone. If two boolean expressions are equal, then their duals are equal! Example: (X+Y ’ )Y = XY  XY ’ + Y = X + Y Helpful in remembering boolean laws. Only need to remember one set, can generate the 2nd set by taking the dual! (…see p. 49 in textbook)

11 PROVING A THEOREM How do we prove X + 0 = X is correct? One way is to replace all boolean variables with values of 0, 1 and use basic operations: For X = 0, = 0 For X = 1, = 1 0 = 0 1 = 1 So, X + 0 = X is valid. Prove X + X ’ = 1 For X = 0, 0 + ( 0 ) ’ = 1 For X = 1, 1 + ( 1 ) ’ = = = 1 1 = 1 1 = 1 So, X + X ’ = 1 is valid.

12 COMMUTATIVE, ASSOCIATIVE LAWS X + Y = Y + XX Y = Y X Dual Laws (X + Y) + Z = X + (Y + Z) Commutative Associative (XY) Z = X(YZ) Associative If + is viewed as addition, and as multiplication, then the Commutative, Associative laws are the same in boolean algebra as in ordinary algebra. Commutative

13 THREE INPUT AND FUNCTION A B F = ABC = (AB) C = A (BC) C A B C AB F = ABC Truth Table for 3-input AND

14 DISTRIBUTIVE LAW A (B + C) = AB + AC (valid in ordinary algebra) Dual: A + BC = (A + B) (A + C) (only valid in Boolean algebra!) Note that the 2nd form is NOT valid in normal algebra. This tends to make one forget about it. Remember the first form, then take the DUAL of it to get the second form.

15 Prove A + BC = (A + B) (A + C) Use Truth Table method for both sides A B C BC A+BC A+B A+C (A+B)(A+C) Results are same

16 OTHER SIMPLIFICTION THEOREMS XY + XY ’ = X(X +Y) (X+Y ’ ) = X Duals X + XY = X (X + Y ’ ) Y = XY X (X + Y) = X XY ’ + Y = X + Y Prove XY + XY ’ = X via algebraic manipulation XY + XY ’ = X (Y + Y ’ ) = X (1) = X N ote that any expressions can be substituted for the X and Y in the theorems.

17 SIMPLIFICATION Simplification tries to reduce the number of terms in a boolean equation via use of basic theorems A simpler equation will mean: –less gates will be needed to implement the equation –could possibly mean a faster gate-level implementation Will use algebraic techniques at first for simplification –Later, will use a graphical method called K- maps –Computer methods for simplification are widely used in industry.

18 SUM OF PRODUCTS (SOP) FORM A boolean expression is in SUM OF PRODUCTS form when all products are the products of single variables only. F = AB’ + CD’E + AC’E ’ (SOP Form) G = ABC’ + DEFG + H (SOP Form) Y = A + B’ + C + D (SOP Form) Z = (A+B)CD + EF Not SOP Form = ACD + BCD + EF SOP Form

19 USE DISTRIBUTIVE LAW FOR MULTIPLYING Problem: Put into SOP form the following equation and simplify: (A + BC) (A + D + E) Try just straightforward multiplication of terms: AA + AD + AE + ABC + BCD + BCE Simplify (AA = A): A + AD + AE + ABC + BCD + BCE Look for simplification via factoring: A(1 + D + E + BC) + BCD + BCE A (1) + BCD + BCE A+ BCD + BCE (Final SOP form)

20 USING 2 ND DISTRIBUTIVE LAW Recall 2nd Distributive Law: (X + Y) (X + Z) = X + YZ Lets try and use this law -- may make things easier: (A + BC) (A + D + E) (A + (BC)) ( A + (D + E) ) Apply 2nd Distributive Law: A + BC (D + E) Multiply Out: A + BCD + BCE (Final SOP form) Finished. (same problem) Let X = A, Y = BC, Z=D+E

21 A + BCD + BCE as logic gates B C D B C E A SOP can be implemented in two levels of logic assuming that both a variable (A) and its complement (A’) are available (Dual Rail Inputs). SOP is a TWO-LEVEL form (AND-OR) AND-OR form

22 PRODUCT OF SUMS (POS) FORM A boolean expression is in PRODUCT OF SUMS form when all sums are the sums of single variables. F = (A + B’)(C + D’ + E)(A + C’ + E’) (POS Form) G = A (B + E)(C + D) (POS Form) Y = AB + AC Not POS Form = A (B + C) POS Form

23 FACTORING Use factoring to get to Product of Sums form. Use basic theorem: X + YZ = (X + Y) (X + Z) (2 ND distributive law) Problem: Put A + B’CD into POS Form: A + B’CD = (A + B’) (A + CD ) = (A + B’) (A + C) (A + D) (A + B’) (A + C) (A + D) is final POS form

24 (A+B ’ )(A+C)(A+D) as Logic Gates A B’B’ A C A D POS can be implemented in two levels of logic assuming that both a variable (A) and its complement (A’) are available (Dual Rail Inputs). POS is a TWO-LEVEL form (OR-AND form) OR-AND form

25 What do you need to know? Basic Boolean Theorems Proving boolean theorems (algebraically, truth table) Duality Boolean equation to gate network and vice-versa Algebraic Simplification SOP form, POS form