CSE 20 Lecture 9 Boolean Algebra: Theorems and Transformations

Slides:



Advertisements
Similar presentations
CSE 20 Lecture 9 Boolean Algebra: Theorems and Proofs CK Cheng April 26, 2011 Lecture notes 1.
Advertisements

1 CK Cheng CSE Dept. UC San Diego CS 140, Lecture 2 Combinational Logic.
1 CSE 20 – Discrete Math Lecture 10 CK Cheng 4/28/2010.
Boolean Algebra Supplementary material. A Boolean algebra B is a boolean algebra means B is a set with elements in it a,b,…,0,1Є B and operators * (and),
Chapter 3 Boolean Algebra and Logic Gate (Part 2).
Relationship Between Basic Operation of Boolean and Basic Logic Gate The basic construction of a logical circuit is gates Gate is an electronic circuit.
1 CK Cheng CSE Dept. UC San Diego CS 140, Lecture 2 Combinational Logic.
מבנה המחשב + מבוא למחשבים ספרתיים תרגול 1#
Boolean Algebra Module M4.1 Section 5.1. Boolean Algebra and Logic Equations Switching Algebra Theorems Venn Diagrams.
Lecture 1: Introduction to Digital Logic Design CK Cheng Thursday 9/26/02.
1 CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng 4/26/2011.
Boolean Algebra cont’ The digital abstraction מבנה המחשב + מבוא למחשבים ספרתיים תרגול 2#
ENGIN112 L5: Boolean Algebra September 12, 2003 ENGIN 112 Intro to Electrical and Computer Engineering Lecture 5 Boolean Algebra.
Lattice and Boolean Algebra
1 CSE 20: Lecture 7 Boolean Algebra CK Cheng 4/21/2011.
Algebra Algebra – defined by the tuple:  A, o 1, …, o k ; R 1, …, R m ; c 1, …, c k  Where: A is a non-empty set o i is the function, o i : A p i  A.
RULES OF BOOLEAN ALGEBRA. BASIC RULES OF BOOLEAN ALGERBA Sr. No.Theorem 1.0’=1  1’=0 2.A+0=A 3.A+1=1 4.A+A=A 5.A+A’=1 6.(A’)’=A 7.A+AB=A 8.A+A’B=A+B.
1 CK Cheng CSE Dept. UC San Diego CSE 140, Lecture 2 Combinational Logic.
Boolean Algebra and Logic Simplification. Boolean Addition & Multiplication Boolean Addition performed by OR gate Sum Term describes Boolean Addition.
Boolean Algebra Dr. Bernard Chen Ph.D. University of Central Arkansas Spring 2009.
CHAPTER 2 Boolean Algebra
Module 4.  Boolean Algebra is used to simplify the design of digital logic circuits.  The design simplification are based on: Postulates of Boolean.
Laws (Theorems) of Boolean algebra Laws of Complementation oThe term complement means, to invert or to change 1's to 0's and 0's to 1's, for which purpose.
CSE 140, Lecture 2 Combinational Logic
Boolean Algebras Lecture 27 Section 5.3 Wed, Mar 7, 2007.
CSE 20: Lecture 7 Boolean Algebra CK Cheng
Dale Roberts Department of Computer and Information Science, School of Science, IUPUI Dale Roberts, Lecturer Computer Science, IUPUI
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.
Logic Circuits Lecture 3 By Amr Al-Awamry. Basic Definitions Binary Operators  AND z = x y = x yz=1 if x=1 AND y=1  OR z = x + y z=1 if x=1 OR y=1 
Chapter 2 Boolean Algebra and Minimization Techniques.
Laws (Theorems) of Boolean algebra Laws of Complementation oThe term complement means, to invert or to change 1's to 0's and 0's to 1's, for which purpose.
BOOLEAN ALGEBRA – Digital Circuit 1 Choopan Rattanapoka.
ELEC Digital Logic Circuits Fall 2015 Boolean Algebra (Chapter 2) Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and.
(2 + 1) + 4 = 2 + (1 + 4) Associative Property of Addition.
1 CK Cheng CSE Dept. UC San Diego CSE 140, Lecture 2 Combinational Logic.
Dale Roberts Department of Computer and Information Science, School of Science, IUPUI Dale Roberts, Lecturer Computer Science, IUPUI
Review. Boolean Algebra.
(2 + 1) + 4 = 2 + (1 + 4) Associative Property of Addition.
ECE DIGITAL LOGIC LECTURE 6: BOOLEAN ALGEBRA Assistant Prof. Fareena Saqib Florida Institute of Technology Fall 2016, 02/01/2016.
Boolean Algebra. BOOLEAN ALGEBRA Formal logic: In formal logic, a statement (proposition) is a declarative sentence that is either true(1) or false (0).
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.
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Introduction to Digital Electronics Lecture.
Boolean Operations and Expressions Addition = = = = 1 Multiplication 0 * 0 = 0 0 * 1 = 0 1 * 0 = 0 1 * 1 = 1.
Boolean Algebra How gates get picked. Boolean Arithmetic Boolean ≠ Binary – Boolean – 1/0 only, no places Boolean addition:
Hoda Roodaki Boolean Algebra Hoda Roodaki
Boolean Algebra.
CHAPTER 2 Boolean Algebra
CHAPTER 1 : INTRODUCTION
CHAPTER 2 Boolean Algebra This chapter in the book includes:
Lecture 3: Boolean Algebra
CSE 140, Lecture 2 Combinational Logic
CSE 311 Foundations of Computing I
Boolean Algebra.
Boolean Algebra.
Boolean Algebra & Logic Circuits
Basic Logic Gates 1.
Boolean Algebra.
CSE 370 – Winter Combinational Logic - 1
Boolean Algebra Introduction CSCI 240
Chapter 2 Introduction to Logic Circuits
COMS 361 Computer Organization
CSE 140 Lecture 3 Combinational Logic: Implementation
CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng
Boolean Algebra How gates get picked.
Boolean Algebra Rayat Shikshan Sanstha’s
Boolean Algebra: Theorems and Proofs
Boolean Algebra Rayat Shikshan Sanstha’s
BOOLEAN ALGEBRA.
CSC102 - Discrete Structures (Discrete Mathematics) Set Operations
Boolean Algebra: Theorems and Proofs
Presentation transcript:

CSE 20 Lecture 9 Boolean Algebra: Theorems and Transformations CK Cheng

Theorems & Proofs: 4 Postulates P1: a+b = b+a, a·b=b·a (commutative) P2: a+bc = (a+b)·(a+c) (distributive) a·(b+c) = a·b + a·c P3: a+0=a, a·1 = a (identity) P4: a+a’=1, a·a’= 0 (complement)

Theorem 6 (Involution Laws): For every element a in B, (a')' = a Proof: a is one complement of a'. The complement of a' is unique. Thus a = (a')‘. Theorem 7 (Absorption Law): For every pair a,b in B, a·(a+b) = a; a + a·b = a. Proof: a(a+b) = (a+0)(a+b) (P3) = a+0·b (P2) = a + 0 (P3) = a (P3) Group discussion to prove the dual law. Reinforce the statement with Venn diagram

Theorems and Proofs Theorem 8: For every pair a, b in B a + a’·b = a + b; a·(a’ + b) = a·b Proof: a + a’·b = (a + a’)·(a + b) (P2) = (1)·(a + b) (P4) = a + b (P3)

Theorem 9: De Morgan’s Law Theorem: For every pair a, b in set B: (a+b)’ = a’b’, and (ab)’ = a’+b’. Proof: We show that a+b and a’b’ are complementary. In other words, we show that both of the following are true (P4): (a+b)+(a’b’) = 1, (a+b)(a’b’) = 0.

Theorem 9: De Morgan’s Law (cont.) Proof (Continue): (a+b)+(a’b’) =(a+b+a’)(a+b+b’) (P2) =(1+b)(a+1) (P4) =1 (Theorem 3) (a+b)(a’b’) =(a’b’)(a+b) (P1) =a’b’a+a’b’b (P2) =0*b’+a’*0 (P4) =0+0 (Theorem 3) =0 (P3)

3. Theorems: Switching Algebra vs. Multiple Valued Boolean Algebra Boolean Algebra is termed Switching Algebra when B = {0, 1} When |B| > 2, the system is multiple valued. Example: M = {(0, 1, 2, 3), #, &} & 1 2 3 # 1 2 3

iClicker: M = {(0, 1, 2, 3), #, &} Boolean algebra can have only two elements {0, 1}. The identity elements are 0 and 3: a # 0 = a a & 3 = a C. The complement of 1 is 2 Two of the above None of the above. # 1 2 3 & 1 2 3

# 1 2 3 & 1 2 3 Example: M = {(0, 1, 2, 3), #, &} P1: Commutative Laws a # b = b # a a & b = b & a P2: Distributive Laws a # (b & c) = (a # b) & ( a # c) a & (b # c) = (a & b) # (a & c) P3: Identity Elements a # 0 = a a & 3 = a P4: Complement Laws a # a’ = 3 a & a’ = 0 # 1 2 3 & 1 2 3

Boolean Transform Given a Boolean expression, we reduce the expression (#literals, #terms) using laws and theorems of Boolean algebra. When B={0,1}, we can use tables to visualize the operation. The approach follows Shannon’s expansion. The tables are organized in two dimension space and called Karnaugh maps.

4. Boolean Transformations Show that a’b’+ab+a’b = a’+b Proof 1: a’b’+ab+a’b = a’b’+(a+a’)b P2 = a’b’ + b P4 = a’ + b Theorem 8 Proof 2: a’b’+ab+a’b = a’b’+ab+a’b+a’b Theorem 5 = a’b’ + a’b +ab+a’b P1 = a’(b’+b) + (a+a’)b P2 = a’*1 +1*b P4 = a’ + b P3

Boolean Transformation (a’b’+c)(a+b)(b’+ac)’ = (a’b’+c)(a+b)(b(ac)’) (DeMorgan’s) = (a’b’+c)(a+b)b(a’+c’) (DeMorgan’s) = (a’b’+c)b(a’+c’) (Absorption) = (a’b’b+bc)(a’+c’) (P2) = (0+bc)(a’+c’) (P4) = bc(a’+c’) (P3) = a’bc+bcc’ (P2) = a’bc+0 (P4) = a’bc (P3)