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

Similar documents
EEE130 Digital Electronics I Lecture #4

2. Associative Law: A binary operator * on a set S is said to be associated whenever (A*B)*C = A*(B*C) for all A,B,C S.

Unit 2 Boolean Algebra

CHAPTER III BOOLEAN ALGEBRA

Boolean Algebra & Logic Gates. By : Ali Mustafa

This form sometimes used in logic circuit, example:

CHAPTER III BOOLEAN ALGEBRA

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

Digital Logic Design. Malik Najmus Siraj

CHAPTER 2 BOOLEAN ALGEBRA

Binary Logic and Gates

Unit 2 Boolean Algebra

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

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

UNIT 5 KARNAUGH MAPS Spring 2011

Gate-Level Minimization

CS 226: Digital Logic Design

Karnaugh Maps Objectives

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

CprE 281: Digital Logic

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

Boolean Algebra and Logic Simplification

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

COS 140: Foundations of Computer Science

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

ELEC Digital Logic Circuits Fall 2014 Boolean Algebra (Chapter 2)

DIGITAL CIRCUIT LOGIC BOOLEAN ALGEBRA

Lecture 3: Boolean Algebra

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

Chapter 2 Boolean Algebra and Logic Gates

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

Administrative Notes. Chapter 2 <9>

UNIT 3 BOOLEAN ALGEBRA (CONT D)

2 Application of Boolean Algebra Theorems (15 Points - graded for completion only)

Lecture 4: More Boolean Algebra

Combinational Logic Fundamentals

Signals and Systems Digital Logic System

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

CHAPTER 3 BOOLEAN ALGEBRA

ECE 238L Boolean Algebra - Part I

Chapter 3. Boolean Algebra. (continued)

Logic Design. Chapter 2: Introduction to Logic Circuits

211: Computer Architecture Summer 2016

Chap 2. Combinational Logic Circuits

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

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

Chapter 2: Boolean Algebra and Logic Gates

Lecture 22 Chapters 3 Logic Circuits Part 1

Chapter 2 Combinational Logic Circuits

Computer Organization: Boolean Logic

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

Chapter 2 Combinational Logic Circuits

Chapter 2: Switching Algebra and Logic Circuits

Chapter-2 BOOLEAN ALGEBRA

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

ENG2410 Digital Design Combinational Logic Circuits

ELC224C. Karnaugh Maps

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

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

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

ENGG 1203 Tutorial - 2 Recall Lab 2 - e.g. 4 input XOR. Parity checking (for interest) Recall : Simplification methods. Recall : Time Delay

Chapter 2. Boolean Algebra and Logic Gates

Gates and Logic: From switches to Transistors, Logic Gates and Logic Circuits

Unit 2 Session - 6 Combinational Logic Circuits

ELCT201: DIGITAL LOGIC DESIGN

Number System conversions

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

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

CS/COE0447: Computer Organization and Assembly Language

Standard Expression Forms

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

Multi-Level Logic Optimization. Technology Independent. Thanks to R. Rudell, S. Malik, R. Rutenbar. University of California, Berkeley, CA

Total Time = 90 Minutes, Total Marks = 50. Total /50 /10 /18

Set Theory Basics of Set Theory. mjarrar Watch this lecture and download the slides

Unit 3 Session - 9 Data-Processing Circuits

Chapter 2 Combinational Logic Circuits

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

Chapter 2 : Boolean Algebra and Logic Gates

Solutions to Assignment No 5 Digital Techniques Fall 2007

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

T02 Tutorial Slides for Week 6

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

NAME Activity Circuit Simplification: Boolean Algebra

MC9211 Computer Organization

Cs302 Quiz for MID TERM Exam Solved

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

Boolean Algebra and Digital Logic 2009, University of Colombo School of Computing

Switches: basic element of physical implementations

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

Chapter 2 Combinational Logic Circuits

Karnaugh Maps ف ر آ ا د : ا ا ب ا م آ ه ا ن ر ا

CHAPTER 7 MULTI-LEVEL GATE CIRCUITS NAND AND NOR GATES

Karnaugh Map & Boolean Expression Simplification

BOOLEAN ALGEBRA TRUTH TABLE

Number System. Decimal to binary Binary to Decimal Binary to octal Binary to hexadecimal Hexadecimal to binary Octal to binary

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

4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra

Save from: cs. Logic design 1 st Class أستاذ المادة: د. عماد

1 Boolean Algebra Simplification

Reduction of Logic Equations using Karnaugh Maps

Transcription:

INTRO TO I & CT. (Boolean Algebra and Logic Simplification.) Lecture # 13-14 By: M.Nadeem Akhtar. Department of CS & IT. URL: https://sites.google.com/site/nadeemcsuoliict/home/lectures 1

Boolean Algebra George Boole lived in England during the time Abraham Lincoln was getting involved in politics in the United States. Boole was a mathematician and logician who developed ways of expressing logical processes using algebraic symbols, thus creating a branch of mathematics known as symbolic logic, or Boolean algebra. Today, all our computers use Boole's logic system - using microchips that contain thousands of tiny electronic switches arranged into logical gates.

Boolean Algebra Boolean algebra is an algebra for the manipulation of objects that can take on only two values, typically true and false, although it canbeanypairofvalues. Because computers are built as collections of switches that are either on or off, Boolean algebra is a very natural way to represent digital information.

In reality, digital circuits use low and high voltages, but for our level of understanding, 0 and 1 will sufficient. Itis common to interpretthe digitalvalue 0as falseandthedigitalvalue1astrue.

A + B + C Boolean Addition & Multiplication Boolean Addition performed by OR gate Sum Term describes Boolean Addition Boolean Multiplication performed by AND gate Product Term describes Boolean Multiplication

Sum of literals Boolean Addition A + B A + B A + B + Sum term = 1 if any literal = 1 Sum term = 0 if all literals = 0 C

Product of literals Boolean Multiplication A. B A. B A. B. C Product term = 1 if all literals = 1 Product term = 0 if any one literal = 0

Laws, Rules & Theorems of Boolean Algebra Commutative Law for addition and multiplication Associative Law for addition and multiplication Distributive Law Rules of Boolean Algebra Demorgan s Theorems

Commutative Law Commutative Law for Addition A + B = B + A Commutative Law for Multiplication A.B = B.A

Associative Law Associative Law for Addition A + (B + C) = (A + B) + C

Associative Law Associative Law for Multiplication A.(B.C) = (A.B).C

A.(B + C) = A.B + A.C Distributive Law

Rules of Boolean Algebra 1. A + 0 = A 2. A + 1 = 1 3. A.0 = 0 4. A.1 = A 5. A + A = A 6. A + A= 1 7. A.A = A 8. A. A= 0 9. = A A 10.A + A.B = A 11.A + = A + B A.B 12.(A+B).(A+C) = A+B.C

First Theorem Demorgan s Theorems A. B = A + B A.B A + B Second Theorem A + B = A. B A + B A. B

Demorgan s Theorems Any number of variables X. Y. Z = X + Y + Z X + Y + Z = X. Y. Z Combination of variables ( A + B. C).( A. C + B) = ( A + B. C) + ( A. C + B) = A.( B. C) + ( A. C). B = A.( B + C) + ( A + C). B = = A. B + A. C + A. B + B. C A. B + A. C + B. C

Simplification using Boolean Algebra AB + A(B+C) + B(B+C) = AB + AB + AC + BB +BC = AB + AC + B + BC = AB + AC + B = B + AC

Simplified Circuit

Simplify C+ BC C+BC = C+( B + C ) = ( C+ C )+ B = 1+B = 1

Simplify AB( A+B)(B + B) AB( A+B)(B + B) = AB( A+B) = (A +B)( A+B) = A A+AB+B A+BB = A+AB+B A = A+A(B+B ) = A +A = A

Simplify A( A+B)+(B + AA)(A + B ) A( A+B)+(B + AA)(A + B ) = AA + AB +(B+ A) (A+B) = AB + BA + BB +AA+AB = AB + BA+ A+AB =B(A+A) +A(1+B) = B+A

Some More Examples Do your self

Standard forms of Boolean Expressions Standardization make the implementation of Boolean expression much more easier and systematic Two forms are Sum-of-Products form Product-of-Sums form

Standard forms of Boolean Sum-of-Products form AB + ABC ABC + CDE + Expressions BCD A B + ABC + AC Product-of-Sums form ( A + B)( A + B + C) ( A + B + C)( C + D + E)( B + C + D) ( A + B)( A + B + C)( A + C)

Implementation of SOP expression

Implementation of POS expression

Conversion of general expression to SOP form AB + B( CD + EF) = AB + BCD + BEF ( A + B)( B + C + D) = AB + AC + AD + B + BC + BD = AC + AD + B ( A + B) + C = ( A + B) C = ( A + B) C = AC + BC