Boolean Algebras Lecture 27 Section 5.3 Wed, Mar 7, 2007.

Slides:



Advertisements
Similar presentations
CS 151 Digital Systems Design Lecture 5 Boolean Algebra.
Advertisements

Presented by: Ms. Maria Estrellita D. Hechanova, ECE
CSE 20 Lecture 9 Boolean Algebra: Theorems and Proofs CK Cheng April 26, 2011 Lecture notes 1.
1 In this lecture  Number Theory ● Rational numbers ● Divisibility  Proofs ● Direct proofs (cont.) ● Common mistakes in proofs ● Disproof by counterexample.
ECE 2110: Introduction to Digital Systems Combinational Logic Design Principles.
Instructor: Hayk Melikya
(CSC 102) Discrete Structures Lecture 14.
Chapter Primes and Greatest Common Divisors ‒Primes ‒Greatest common divisors and least common multiples 1.
Denoting the beginning
Discrete Mathematics Lecture 4 Harper Langston New York University.
Chapter 4 Properties of the integers: mathematical induction Yen-Liang Chen Dept of IM NCU.
מבנה המחשב + מבוא למחשבים ספרתיים תרגול 1#
1 CA 208 Logic Ex4 Commutativity (P  Q)  Associativity P  (Q  R)  (P  Q)  R Distributivity P  (Q  R)  Idempotency.
1 Section 10.1 Boolean Functions. 2 Computers & Boolean Algebra Circuits in computers have inputs whose values are either 0 or 1 Mathematician George.
1 CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng 4/26/2011.
Boolean Algebra cont’ The digital abstraction מבנה המחשב + מבוא למחשבים ספרתיים תרגול 2#
Logic Gate Level Combinational Circuits, Part 1. Circuits Circuit: collection of devices physically connected by wires to form a network Net can be: –
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.
Rosen 1.6. Approaches to Proofs Membership tables (similar to truth tables) Convert to a problem in propositional logic, prove, then convert back Use.
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,
1 Properties of Integers Objectives At the end of this unit, students should be able to: State the division algorithm Apply the division algorithm Find.
Course Outline Book: Discrete Mathematics by K. P. Bogart Topics:
Boolean Algebra – I. Outline  Introduction  Digital circuits  Boolean Algebra  Two-Valued Boolean Algebra  Boolean Algebra Postulates  Precedence.
Mathematical Induction. F(1) = 1; F(n+1) = F(n) + (2n+1) for n≥ F(n) n F(n) =n 2 for all n ≥ 1 Prove it!
Boolean Algebra and Computer Logic Mathematical Structures for Computer Science Chapter 7.1 – 7.2 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Boolean.
The Integers. The Division Algorithms A high-school question: Compute 58/17. We can write 58 as 58 = 3 (17) + 7 This forms illustrates the answer: “3.
Module 4.  Boolean Algebra is used to simplify the design of digital logic circuits.  The design simplification are based on: Postulates of Boolean.
Boolean Algebra and Computer Logic Mathematical Structures for Computer Science Chapter 7.1 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesBoolean Algebra.
CSE 20: Lecture 7 Boolean Algebra CK Cheng
Foundations of Discrete Mathematics Chapter 4 By Dr. Dalia M. Gil, Ph.D.
Dale Roberts Department of Computer and Information Science, School of Science, IUPUI Dale Roberts, Lecturer Computer Science, IUPUI
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 
Properties of Sets Lecture 26 Section 5.2 Tue, Mar 6, 2007.
Bits and Bytes Boolean Algebra ( ) Boolean algebra Expressing in C.
Discrete Mathematics CS 2610 January 27, part 2.
Discrete Mathematics Set.
Application: Algorithms Lecture 20 Section 3.8 Wed, Feb 21, 2007.
CS Lecture 14 Powerful Tools     !. Build your toolbox of abstract structures and concepts. Know the capacities and limits of each tool.
Direct Proof and Counterexample III
ECE2030 Introduction to Computer Engineering Lecture 5: Boolean Algebra Prof. Hsien-Hsin Sean Lee School of Electrical and Computer Engineering Georgia.
Dale Roberts Department of Computer and Information Science, School of Science, IUPUI Dale Roberts, Lecturer Computer Science, IUPUI
CSCI 115 Chapter 1 Fundamentals. CSCI 115 §1.1 Sets and Subsets.
Module #3 - Sets 3/2/2016(c) , Michael P. Frank 2. Sets and Set Operations.
Boolean Algebra and Computer Logic Mathematical Structures for Computer Science Chapter 7 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesBoolean Algebra.
Boolean Algebras Lecture 24 Section 5.3 Wed, Mar 22, 2006.
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.
Direct Proof and Counterexample III Part 2 Lecture 16 Section 3.3 Tue, Feb 13, 2007.
Boolean Algebra How gates get picked. Boolean Arithmetic Boolean ≠ Binary – Boolean – 1/0 only, no places Boolean addition:
Chapter 12. Chapter Summary Boolean Functions Representing Boolean Functions Logic Gates Minimization of Circuits (not currently included in overheads)
LATTICES AND BOOLEAN ALGEBRA
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:
Lecture 3: Boolean Algebra
Set Operations Section 2.2.
Boolean Algebra.
Bits and Bytes Boolean algebra Expressing in C
Boolean Algebra Introduction CSCI 240
COMS 361 Computer Organization
CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng
Boolean Algebra How gates get picked.
Design of Digital Circuits Lab 1 Supplement: Drawing Basic Circuits
Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.
BOOLEAN ALGEBRA.
From the last time: gcd(a, b) can be characterized in two different ways: It is the least positive value of ax + by where x and y range over integers.
Presentation transcript:

Boolean Algebras Lecture 27 Section 5.3 Wed, Mar 7, 2007

Boolean Algebras In a Boolean algebra, we abstract the basic properties of sets and logic and make them the defining properties. A Boolean algebra has three operators + Addition (binary)  Multiplication (binary) — Complement (unary)

Properties of a Boolean Algebra Commutative Laws a + b = b + a a  b = b  a Associative Laws (a + b) + c = a + (b + c) (a  b)  c = a  (b  c)

Properties of a Boolean Algebra Distributive Laws a + (b  c) = (a + b)  (a + c) a  (b + c) = (a  b) + (a  c) Identity Laws: There exist elements, which we will label 0 and 1, that have the properties a + 0 = a a  1 = a

Properties of a Boolean Algebra Complement Laws a +  a = 1 a  a = 0

Set-Theoretic Interpretation Let B be the power set of a universal set U. Interpret + to be ,  to be , and — to be complementation. Then what are the interpretations of 0 and 1? Look at the identity and complement laws: A  0 = A, A  1 = A A  A c = 1, A  A c = 0

Logic Interpretation Let B be a collection of statements. Interpret + to be ,  to be , and — to be . Then what are the interpretations of 0 and 1? Look at the identity and complement laws: p  0 = p, p  1 = p p   p = 1, p   p = 0

Binary Interpretation Let B be the set of all binary strings of length n. Interpret + to be bitwise “or,”  to be bitwise “and,” and — to be bitwise complement. Then what are the interpretations of 0 and 1? Look at the identity and complement laws: x | 0 = x, x & 1 = x x |  x = 1, x &  x = 0

Other Interpretations Let n be any positive integer that is the product of distinct primes. (E.g., n = 30.) Let B be the set of divisors of n. Interpret + to be gcd,  to be lcm, and — to be division into n. For example, if n = 30, then a + b = gcd(a, b) a  b = lcm(a, b)  a = 30/a.

Other Interpretations Then what are the interpretations of “0” and “1”? Look at the identity and complement laws. a + “0” = gcd(a, “0”) = a, a  “1” = lcm(a, “1”) = a, a +  a = gcd(a, 30/a) = “1”, a  a = lcm(a, 30/a) = “0”.

Connections How are all of these interpretations connected? Hint: The binary example is the most basic.

Set-Theoretic Interpretation Let B be the power set of a universal set U. Reverse the meaning of + and  : + means ,  means . Then what are the interpretations of 0 and 1? Look at the identity and complement laws: A  0 = A, A  1 = A A  A c = 1, A  A c = 0

Duality One can show that in each of the preceding examples, if we Reverse the interpretation of + and  Reverse the interpretations of 0 and 1 the result will again be a Boolean algebra. This is called the Principle of Duality.

Other Properties The other properties appearing in Theorem on p. 14 can be derived as theorems. Double Negation Law The complement of  a is a. Idempotent Laws a + a = a a  a = a

Other Properties Universal Bounds Laws a + 1 = 1 a  0 = 0 DeMorgan’s Laws

Other Properties Absorption Laws a + (a  b) = a a  (a + b) = a Complements of 0 and 1  0 = 1  1 = 0

The Idempotent Laws Theorem: Let B be a boolean algebra. For all a  B, a + a = a. Proof: a  a = a  a + 0 = a  a + a  a = a  (a +  a) = a  1 = a.

The Idempotent Laws Prove the other idempotent law a  a = a.

The Laws of Universal Bounds Theorem: Let B be a boolean algebra. For all a  B, a + 1 = 1. Proof: a + 1 = a + (a +  a) = (a + a) +  a = a +  a = 1.

The Laws of Universal Bounds Prove the other law of universal bounds: a  0 = 0.

A Very Handy Lemma Lemma: Let B be a boolean algebra and let a, b  B. If a + b = 1 and a  b = 0, then b =  a. Proof:

The Lemma Applied Corollary: Let p and q be propositions. If p  q = T and p  q = F, then q =  p. Corollary: Let A and B be sets. If A  B = U and A  B = , then B = A c. Corollary: Let x and y be ints. If x | y == 1 and x & y == 0, then y ==  x.

DeMorgan’s Laws Theorem: Let B be a boolean algebra. For all a, b  B, the complement of (a + b) equals  a  b. Proof: We show that (a + b) + (  a  b) = 1 and that (a + b)  (  a  b) = 0. It will follow from the Lemma that  a  b is the complement of a + b.

DeMorgan’s Laws (a + b) + (  a  b) = (a + b + a’).(a + b + b’) = (1 + b).(1 + a) = 1.1 = 1. (a + b).(a’.b’) = a. a’.b’ + b. a’.b’ = 0.b’ + 0.a’ = = 0.

DeMorgan’s Laws Therefore,  a  b is the complement of a + b.

The Other DeMorgan’s Law Prove the law that  a +  b is the complement of a  b. Prove the law of double negation, that the complement of  a is a.

Applications These laws are true for any interpretation of a Boolean algebra. For example, if a and b are integers, then gcd(a, lcm(a, b)) = a lcm(a, gcd(a, b)) = a If x and y are ints, then x | (x & y) == x x & (x | y) == x