Discrete Mathematics CS 2610 February 12, 2009. 2 Agenda Previously Finished functions Began Boolean algebras And now Continue with Boolean algebras.

Slides:



Advertisements
Similar presentations
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Advertisements

(CSC 102) Discrete Structures Lecture 14.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
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
Lattice and Boolean Algebra
Lecture 3. Boolean Algebra, Logic Gates
Propositional Calculus Math Foundations of Computer Science.
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.
Boolean Functions.
Section Section Summary Introduction to Boolean Algebra Boolean Expressions and Boolean Functions Identities of Boolean Algebra Duality The Abstract.
Chapter 10.1 and 10.2: Boolean Algebra Based on Slides from Discrete Mathematical Structures: Theory and Applications.
Digital Logic Circuits – Chapter 1 Section 1-3, 1-2.
CHAPTER 2 Boolean Algebra
Applied Discrete Mathematics Week 13: Boolean Algebra
A Brief Summary for Exam 1 Subject Topics Propositional Logic (sections 1.1, 1.2) –Propositions Statement, Truth value, Proposition, Propositional symbol,
Boolean Algebra and Digital Circuits
Switching functions The postulates and sets of Boolean logic are presented in generic terms without the elements of K being specified In EE we need to.
©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.
1 Section 10.2 Boolean Algebra Motivation: Notice the list of corresponding properties for the algebra of sets and the algebra of propositional wffs. These.
Boolean Algebra and Computer Logic Mathematical Structures for Computer Science Chapter 7.1 – 7.2 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Boolean.
Dr. Eng. Farag Elnagahy Office Phone: King ABDUL AZIZ University Faculty Of Computing and Information Technology CPCS 222.
Logic Gates Shashidhara H S Dept. of ISE MSRIT. Basic Logic Design and Boolean Algebra GATES = basic digital building blocks which correspond to and perform.
Linear Algebra. Circuits The circuits in computers and other input devices have inputs, each of which is either a 0 or 1, the output is also 0s and 1s.
Fall 2003CMSC Discrete Structures1 … and now for something completely different… Set Theory Actually, you will see that logic and set theory are.
--- outputs logical functions of inputs --- new outputs appear shortly after changed inputs (propagation delay) --- no feedback loops --- no clock Sequential.
Discrete Mathematics CS 2610 September Equal Boolean Functions Two Boolean functions F and G of degree n are equal iff for all (x 1,..x n )  B.
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.
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
Laws of Boolean Algebra Commutative Law Associative Law Distributive Law Identity Law De Morgan's Theorem.
Discrete Mathematics CS 2610 February 10, Agenda Previously Functions And now Finish functions Start Boolean algebras (Sec. 11.1)
Discrete Mathematics CS 2610 January 27, part 2.
R. Johnsonbaugh Discrete Mathematics 5 th edition, 2001 Chapter 9 Boolean Algebras and Combinatorial Circuits.
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 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
Mu.com.lec 9. Overview Gates, latches, memories and other logic components are used to design computer systems and their subsystems Good understanding.
CHAPTER 2 Boolean algebra and Logic gates
Chapter 12. Chapter Summary Boolean Functions Representing Boolean Functions Logic Gates Minimization of Circuits (not currently included in overheads)
Chapter 11 (Part 1): Boolean Algebra
The Foundations: Logic and Proofs
Chapter 2: Boolean Algebra and Logic Functions
CHAPTER 2 Boolean Algebra
… and now for the Final Topic:
CHAPTER 2 Boolean Algebra This chapter in the book includes:
September 7 Notes Boolean Algebra.
FIGURES FOR CHAPTER 2 BOOLEAN ALGEBRA
EEL 3705 / 3705L Digital Logic Design
Set Operations Section 2.2.
Discrete Mathematics CS 2610
Propositional Equivalences
CMSC Discrete Structures
January 19 W’05 Yutao He 4532B Boelter Hall CSM51A/EEM16-Sec.1 W’05
Yes, No, Maybe... BooleanAlgebra 12/10/2018.
Chapter 10.1 and 10.2: Boolean Algebra
CSE 311 Foundations of Computing I
Chapter 10.1 and 10.2: Boolean Algebra
Chapter 10.1 and 10.2: Boolean Algebra
Applied Discrete Mathematics Week 4: Functions
CSS 342 Data Structures, Algorithms, and Discrete Mathematics I
Faculty of Cybernetics, Statistics and Economic Informatics
Introductory Concepts
Chapter 10.1 and 10.2: Boolean Algebra
CMSC Discrete Structures
Boolean Algebra.
Presentation transcript:

Discrete Mathematics CS 2610 February 12, 2009

2 Agenda Previously Finished functions Began Boolean algebras And now Continue with Boolean algebras

3 But First p  q  r, is NOT true when only one of p, q, or r is true. Why not? It is true for (p Λ ¬q Λ ¬r) It is true for (¬p Λ q Λ ¬r) It is true for (¬p Λ ¬q Λ r) So what’s wrong? Raise your hand when you know.

4 Injective Functions (one-to-one) If function f : A  B is 1-to-1 then every b  B has 0 or 1 pre-image. Proof (bwoc): Say f is 1-to-1 and b  B has 2 or more pre-images. Then  a 1, a 2 st a 1  A and a 2  A, and a 1 ≠ a 2. So f(a 1 ) = b and f(a 2 ) = b, meaning f(a 1 ) = f(a 2 ). This contradicts the definition of an injection since when a 1 ≠ a 2 we know f(a 1 ) ≠ f(a 2 ).

5 Boolean Algebras (Chapter 11) Boolean algebra provides the operations and the rules for working with the set {0, 1}. These are the rules that underlie electronic and optical circuits, and the methods we will discuss are fundamental to VLSI design.

6 Boolean Algebra The minimal Boolean algebra is the algebra formed over the set of truth values {0, 1} by using the operations functions +, ·, - (sum, product, complement). The minimal Boolean algebra is equivalent to propositional logic where O corresponds to False 1 corresponds to True  corresponds logical operator AND + corresponds logical operator OR - corresponds logical operator NOT

7 Boolean Algebra Tables x0011x0011 y0101y0101 x + y 0 1 xy 0 1 x01x01 x10x10 x,y are Boolean variables – they assume values 0 or 1

8 Boolean n-Tuples Let B = {0, 1}, the set of Boolean values. Let B n = { (x 1,x 2,…x n ) | x i  B, i=1,..,n}. B 1= { (x 1 ) | x 1  B,} B 2= { (x 1, x 2 ), | x i  B, i=1,2} B n= { ((x 1,x 2,…x n ) | x i  B, i=1,..,n,} For all n  Z +, any function f:B n → B is called a Boolean function of degree n.

9 Example Boolean Function x x y y z z F(x,y,z)=x(y+z) F(x,y,z) =B 3  B B 3 has 8 triplets

10 Number of Boolean Functions How many different Boolean functions of degree 1 are there? How many different Boolean functions of degree 2 are there? How many different functions of degree n are there ? There are 2 2ⁿ distinct Boolean functions of degree n.

11 Combining Boolean Functions Let F and G be two Booleans functions of degree n. Complement of F: F (x 1,..x n ) = F (x 1,..x n ) Boolean Sum : (F + G)(x 1,..x n ) = F (x 1,..x n ) + G (x 1,..x n ) Boolean Product: (F·G)(x 1,..x n ) = F(x 1,..x n )·G(x 1,..x n )

12 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 + zx

13 Boolean Expressions Let x 1, …, x n be n different Boolean variables. A Boolean expression is a string of one of the following forms (recursive definition): 0, 1, x 1, …, or x n. are Boolean Expressions If E 1 and E 2 are Boolean expressions then -E 1, (E 1 E 2 ), or (E 1 +E 2 ) are Boolean expressions. Example: E 1 = x E 2 = y E 3 = z E 4 = E 1 + E 2 = x + y E 5 = E 1 E 2 = x y E 6 = -E 3 = -z E 7 = E 6 + E 4 = -z + x + y E 8 = E 6 E 4 = -z ( x + y) Note: equivalent notation: -E = E for complement

14 Functions and Expressions F(x 1,x 2,x 3 ) x3x3 x2x2 x1x A Boolean expression represents a Boolean function. Furthermore, every Boolean function (of a given degree) can be represented by a Boolean expression with n variables. F(x 1,x 2,x 3 ) = x 1 (x 2 +x 3 )+x 1 x 2 x 3

15 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

16 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: What about a 2-input multiplexer?

17 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

18 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