Boolean Algebras Lecture 24 Section 5.3 Wed, Mar 22, 2006.

Slides:



Advertisements
Similar presentations
Presented by: Ms. Maria Estrellita D. Hechanova, ECE
Advertisements

CSE 20 Lecture 9 Boolean Algebra: Theorems and Proofs CK Cheng April 26, 2011 Lecture notes 1.
Discrete Mathematics Lecture 5 Alexander Bukharovich New York University.
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.
מבנה המחשב + מבוא למחשבים ספרתיים תרגול 1#
Boolean Algebra Discussion D6.1 Sections 13-3 – 13-6.
1 Section 10.1 Boolean Functions. 2 Computers & Boolean Algebra Circuits in computers have inputs whose values are either 0 or 1 Mathematician George.
Boolean Algebra Module M4.1 Section 5.1. Boolean Algebra and Logic Equations Switching Algebra Theorems Venn Diagrams.
Congruence Classes Z n = {[0] n, [1] n, [2] n, …, [n - 1] n } = the set of congruence classes modulo n.
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: –
Lattice and Boolean Algebra
1 Set Theory. 2 Set Properties Commutative Laws: Associative Laws: Distributive Laws:
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.
WHOLE NUMBERS; INTEGERS Whole numbers: Z 0,+ = the natural numbers  {0}. Integers:
PROPERTIES REVIEW!. MULTIPLICATION PROPERTY OF EQUALITY.
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 and Computer Logic Mathematical Structures for Computer Science Chapter 7.1 – 7.2 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Boolean.
Module 4.  Boolean Algebra is used to simplify the design of digital logic circuits.  The design simplification are based on: Postulates of Boolean.
Math 3121 Abstract Algebra I Lecture 9 Finish Section 10 Section 11.
Binary Logic Section 1.9. Binary Logic Binary logic deals with variables that take on discrete values (e.g. 1, 0) and with operations that assume logical.
Boolean Algebras Lecture 27 Section 5.3 Wed, Mar 7, 2007.
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.
Introduction to Set theory. Ways of Describing Sets.
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.
Chapter 2 Boolean Algebra and Minimization Techniques.
Bits and Bytes Boolean Algebra ( ) Boolean algebra Expressing in C.
Discrete Mathematics Set.
Application: Algorithms Lecture 20 Section 3.8 Wed, Feb 21, 2007.
R. Johnsonbaugh Discrete Mathematics 5 th edition, 2001 Chapter 9 Boolean Algebras and Combinatorial Circuits.
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.
Introduction to Predicates and Quantified Statements I Lecture 9 Section 2.1 Wed, Jan 31, 2007.
(2 x 1) x 4 = 2 x (1 x 4) Associative Property of Multiplication 1.
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)
CS 105 Digital Logic Design
… and now for the Final Topic:
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
Boolean Algebra.
Bits and Bytes Boolean algebra Expressing in C
Boolean Algebra Introduction CSCI 240
Logic Circuits I Lecture 3.
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.
Number Theory.
Presentation transcript:

Boolean Algebras Lecture 24 Section 5.3 Wed, Mar 22, 2006

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? The identity and complement laws would be interpreted as 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? Again, 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.

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.

Other Properties The other properties appearing in Theorem on p. 14 can be derived as theorems. Double Negation Law   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

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