Discrete Mathematics CS 2610 September 26. 2 Equal Boolean Functions Two Boolean functions F and G of degree n are equal iff for all (x 1,..x n )  B.

Slides:



Advertisements
Similar presentations
BOOLEAN ALGEBRA. A Mathematical notation used to represent the function of the Digital circuit. A notation that allows variables & constants to have only.
Advertisements

CS2100 Computer Organisation
Chapter 2 Logic Circuits.
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2007 Chapter 1: (Part 2): The Foundations: Logic and Proofs.
Logic Gate Level Part 2. Constructing Boolean expression from truth table First method: write nonparenthesized OR of ANDs Each AND is a 1 in the result.
1 Section 10.1 Boolean Functions. 2 Computers & Boolean Algebra Circuits in computers have inputs whose values are either 0 or 1 Mathematician George.
Chapter 9: Boolean Algebra
Logic Functions and their Representation. Slide 2 Combinational Networks x1x1 x2x2 xnxn f.
Lecture 3. Boolean Algebra, Logic Gates
Fall 2002CMSC Discrete Structures1 Yes, No, Maybe... Boolean Algebra.
Chapter 2: Boolean Algebra and Logic Functions
Boolean Algebra أ. زينب آل كاظم 1. Boolean Functions In Boolean algebra we work with the set {0,1}, where: 0 ≡ F (False) & 1 ≡ T (True). The 3 Operations.
11.1 Boolean Functions. Boolean Algebra An algebra is a set with one or more operations defined on it. A boolean algebra has three main operations, and,
Section Section Summary Introduction to Boolean Algebra Boolean Expressions and Boolean Functions Identities of Boolean Algebra Duality The Abstract.
Boolean Algebra Computer Organization 1 © McQuain Boolean Algebra A Boolean algebra is a set B of values together with: -two binary operations,
Chapter 10.1 and 10.2: Boolean Algebra Based on Slides from Discrete Mathematical Structures: Theory and Applications.
IKI a-Boolean Algebra Bobby Nazief Semester-I The materials on these slides are adopted from those in CS231’s Lecture Notes at UIUC,
BOOLEAN ALGEBRA Saras M. Srivastava PGT (Computer Science)
Applied Discrete Mathematics Week 13: Boolean Algebra
CS1502 Formal Methods in Computer Science
Combinational Logic 1.
Discrete Mathematics and Its Applications.  The English mathematician George Boole ( ) sought to give symbolic form to Aristotle's system of.
Dr. Eng. Farag Elnagahy Office Phone: King ABDUL AZIZ University Faculty Of Computing and Information Technology CPCS 222.
Boolean Logic and Circuits ELEC 311 Digital Logic and Circuits Dr. Ron Hayne Images Courtesy of Cengage Learning.
Discrete Mathematics CS 2610 February 12, Agenda Previously Finished functions Began Boolean algebras And now Continue with Boolean algebras.
Section 1.2: Propositional Equivalences In the process of reasoning, we often replace a known statement with an equivalent statement that more closely.
A. Abhari CPS2131 Chapter 2: Boolean Algebra and Logic Gates Topics in this Chapter: Boolean Algebra Boolean Functions Boolean Function Simplification.
1 Lect # 2 Boolean Algebra and Logic Gates Boolean algebra defines rules for manipulating symbolic binary logic expressions. –a symbolic binary logic expression.
Boolean Algebra M. AL- Towaileb1. Boolean Functions In Boolean algebra we work with the set {0,1}, where: 0 ≡ F (False) & 1 ≡ T (True). The 3 Operations.
BOOLEAN ALGEBRA Kamrul Ahsan Teacher of
Module 5.  In Module 3, you have learned the concept of Boolean Algebra which consists of binary variables and binary operator.  A binary variable x,
R. Johnsonbaugh Discrete Mathematics 5 th edition, 2001 Chapter 9 Boolean Algebras and Combinatorial Circuits.
Lecture 18: Boolean Algebra Boolean Functions. w = Chris is allowed to watch television x = Chris's homework is finished y = it is a school night z =
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.
Boolean Algebra.
CHAPTER 2 Boolean algebra and Logic gates
CS2100 Computer Organisation
Chapter 11 (Part 1): Boolean Algebra
Chapter 2: Boolean Algebra and Logic Functions
ECE 20B, Winter 2003 Introduction to Electrical Engineering, II LECTURE NOTES #2 Instructor: Andrew B. Kahng (lecture)
CS 105 Digital Logic Design
CHAPTER 2 Boolean Algebra
Discussion #10 Logical Equivalences
… and now for the Final Topic:
CHAPTER 2 Boolean Algebra This chapter in the book includes:
Princess Sumaya University
Boolean Algebra A Boolean algebra is a set B of values together with:
Boolean Algebra A Boolean algebra is a set B of values together with:
September 7 Notes Boolean Algebra.
CSE 311 Foundations of Computing I
Propositional Calculus: Boolean Algebra and Simplification
Boolean Algebra.
EEL 3705 / 3705L Digital Logic Design
Discrete Mathematics CS 2610
Boolean Algebra.
CMSC Discrete Structures
Boolean Algebra & Logic Circuits
Lecture 14: Boolean Algebra
Chapter 2 Boolean Algebra and Logic Gate
Representing Boolean functions
Yes, No, Maybe... BooleanAlgebra 12/10/2018.
Chapter 10.1 and 10.2: Boolean Algebra
Chapter 10.1 and 10.2: Boolean Algebra
Chapter 10.1 and 10.2: Boolean Algebra
Applied Discrete Mathematics Week 4: Functions
Faculty of Cybernetics, Statistics and Economic Informatics
Chapter 10.1 and 10.2: Boolean Algebra
Digital Systems Section 3 Boolean Algebra. Digital Systems Section 3 Boolean Algebra.
CMSC Discrete Structures
Boolean Algebra.
Presentation transcript:

Discrete Mathematics CS 2610 September 26

2 Equal Boolean Functions Two Boolean functions F and G of degree n are equal iff for all (x 1,..x n )  B n, F (x 1,..x n ) = G (x 1,..x n ) Example: F(x,y,z) = x(y+z), G(x,y,z) = xy + xz, and F=G (recall the “truth” table we put on the board yesterday) Also, note the distributive property: x(y+z) = xy + xz via the distributive law

3 Boolean Functions Two Boolean expressions e 1 and e 2 that represent the exact same function F are called equivalent F(x 1,x 2,x 3 ) x3x3 x2x2 x1x F(x 1,x 2,x 3 ) = x 1 (x 2 +x 3 )+x 1 x 2 x 3 F(x 1,x 2,x 3 ) = x 1 x 2 +x 1 x 3 +x 1 x 2 x 3

4 Boolean Functions More equivalent Boolean expressions: (x + y)z = xyz + xyz + xyz (x + y)z = xz + yz distributive = x1z + 1yz identity = x(y + y)z + (x + x)yz unit = xyz + xyz + xyz + xyz distributive = xyz + xyz + xyz idempotent We’ve expanded the initial expression into its sum of products form.

5 Boolean Functions More equivalent Boolean expressions: xy + z = ?? = xy1 + 11z identity = xy(z + z) + (x + x)1z unit = xyz + xyz + x1z + x1z distributive = xyz + xyz + x(y + y)z + x(y + y)z unit = xyz + xyz + xyz + xyz + xyz + xyz distributive = xyz + xyz + xyz + xyz + xyz idempotent The example from yesterday.

6 Representing Boolean Functions How to construct a Boolean expression that represents a Boolean Function ? zyx F (-x)(y)(-z) + (-x)yz + x(-y)z + xyz F(x, y, z) = 1 if and only if:

7 Representing Boolean Functions How to construct a Boolean expression that represents a Boolean Function ? zyx F F(x, y, z) = x · y · z + x · y · z

8 Boolean Identities Double complement: x = x Idempotent laws: x + x = x, x · x = x Identity laws: x + 0 = x, x · 1 = x Domination laws: x + 1 = 1, x · 0 = 0 Commutative laws: x + y = y + x, x · y = y · x Associative laws: x + (y + z) = (x + y) + z x · (y · z) = (x · y) · z Distributive laws: x + y·z = (x + y)·(x + z) x · (y + z) = x·y + x·z De Morgan’s laws: (x · y) = x + y, (x + y) = x · y Absorption laws: x + x·y = x, x · (x + y) = x the Unit Property: x + x = 1 and Zero Property: x ·x = 0

9 Boolean Identities Absorption law: Show that x·(x + y) = x 1) x·(x + y) = (x + 0) ·(x + y) identity 2) = x + 0 ·ydistributive 3) = x + y· 0commutative 4) = x + 0 domination 5) = xidentity

10 Dual Expression (related to identity pairs) The dual e d of a Boolean expression e is obtained by exchanging + with , and 0 with 1 in e. Example: e = xy + zw e = x + y + 0 Duality principle: e 1  e 2 iff e 1 d  e 2 d x (x + y) = x iff x + xy = x (absorption) e d =(x + y)(z + w) e d = x · y · 1

11 Dual Function The dual of a Boolean function F represented by a Boolean expression is the function represented by the dual of this expression. The dual function of F is denoted by F d The dual function, denoted by F d, does not depend on the particular Boolean expression used to represent F.

12 Recall: Boolean Identities Double complement: x = x Idempotent laws: x + x = x, x · x = x Identity laws: x + 0 = x, x · 1 = x Domination laws: x + 1 = 1, x · 0 = 0 Commutative laws: x + y = y + x, x · y = y · x Associative laws: x + (y + z) = (x + y) + z x · (y · z) = (x · y) · z Distributive laws: x + y·z = (x + y)·(x + z) x · (y + z) = x·y + x·z De Morgan’s laws: (x · y) = x + y, (x + y) = x · y Absorption laws: x + x·y = x, x · (x + y) = x the Unit Property: x + x = 1 and Zero Property: x ·x = 0

13 Boolean Expressions  Sets  Propositions Identity Laws x  0 = x,x  1 = x Complement Laws x  x = 1, x  x = 0 Associative Laws (x  y)  z = x  (y  z) (x  y)  z = x  (y  z) Commutative Laws x  y = y  x, x  y = y  x Distributive Laws x  ( y  z) = (x  y)  (x  z) x  ( y  z) = (x  y)  (x  z) A Boolean Algebra is a set B with operations , , and elements 0 and 1 such that the above properties hold for all x, y, and z in B.

14 DNF: Disjunctive Normal Form A literal is a Boolean variable or its complement. A minterm of Boolean variables x 1,…,x n is a Boolean product of n literals y 1 …y n, where y i is either the literal x i or its complement x i. Example: x y z+ x y z Disjunctive Normal Form: sum of products minterms We have seen how to develop a DNF expression for a function if we’re given the function’s “truth” table.

15 CNF: Conjunctive Normal Form A literal is a Boolean variable or its complement. A maxterm of Boolean variables x 1,…,x n is a Boolean sum of n literals y 1 …y n, where y i is either the literal x i or its complement x i. Example: (x +y + z)  (x + y + z) Conjuctive Normal Form: product of sums maxterms

16 Conjunctive Normal Form To find the CNF representation of a Boolean function F 1.Find the DNF representation of its complement F 2.Then complement both sides and apply DeMorgan’s laws to get F: zyx F F How do you build the CNF directly from the table ? F = x · y · z + x · y · z + x · y · z + x · y · z = (x+y+z) · (x+y+z) · (x+y+z) · (x+y+z) F = (x · y · z) · (x · y · z) · (x · y · z) · (x · y · z)

17 Functional Completeness Since every Boolean function can be expressed in terms of ,+,¯, we say that the set of operators { ,+,¯} is functionally complete. {+, ¯} is functionally complete { , ¯} is functionally complete (note: x + y = xy) NAND | and NOR ↓ are also functionally complete, each by itself (as a singleton set). Recall x NAND y is true iff x or y (or both) are false and x NOR y is true iff both x and y are false. xy = (x+y)