CSE 20: Lecture 7 Boolean Algebra CK Cheng

Slides:



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

Chapter 2 Logic Circuits.
1 CK Cheng CSE Dept. UC San Diego CS 140, Lecture 2 Combinational Logic.
Instructor: Hayk Melikya
1 CSE 20 – Discrete Math Lecture 10 CK Cheng 4/28/2010.
Denoting the beginning
1 CK Cheng CSE Dept. UC San Diego CS 140, Lecture 2 Combinational Logic.
Sets 1.
Lecture 1: Introduction to Digital Logic Design CK Cheng Thursday 9/26/02.
Sets 1.
1 CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng 4/26/2011.
1 CSE 20: Lecture 7 Boolean Algebra CK Cheng 4/21/2011.
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.
XOR and XNOR Logic Gates. XOR Function Output Y is TRUE if input A OR input B are TRUE Exclusively, else it is FALSE. Logic Symbol  Description  Truth.
SUPLEMENTARY CHAPTER 1: An Introduction to Digital Logic The Architecture of Computer Hardware and Systems Software: An Information Technology Approach.
Computer Organization 1 Logic Gates and Adders. Propositions –Venn Diagrams.
Lecture 22: 11/19/2002CS170 Fall CS170 Computer Organization and Architecture I Ayman Abdel-Hamid Department of Computer Science Old Dominion University.
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.
Properties of Addition and Multiplication. Commutative Property In the sum you can add the numbers in any order. a+b = b+a In the product you can multiply.
CSE 140, Lecture 2 Combinational Logic
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.
Boolean Algebras Lecture 27 Section 5.3 Wed, Mar 7, 2007.
Rosen 1.6, 1.7. Basic Definitions Set - Collection of objects, usually denoted by capital letter Member, element - Object in a set, usually denoted by.
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.
Lecture 4 Introduction to Boolean Algebra. Binary Operators In the following descriptions, we will let A and B be Boolean variables and define a set of.
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 Only involves in calculations of TRUE and FALSE; either be inputs or output. When a logic statement is TRUE it is assigned a Boolean logic.
R. Johnsonbaugh Discrete Mathematics 5 th edition, 2001 Chapter 9 Boolean Algebras and Combinatorial Circuits.
1 CK Cheng CSE Dept. UC San Diego CSE 140, Lecture 2 Combinational Logic.
CSE 140: Components and Design Techniques for Digital Systems Lecture 6: Universal Gates CK Cheng Dept. of Computer Science and Engineering University.
ECE DIGITAL LOGIC LECTURE 6: BOOLEAN ALGEBRA Assistant Prof. Fareena Saqib Florida Institute of Technology Fall 2016, 02/01/2016.
CSE 140 Lecture 13 Combinational Standard Modules Professor CK Cheng CSE Dept. UC San Diego 1.
1 Topic Sets (5.1, 5.2, 5.3). 2 Original author of the slides: Vadim Bulitko University of Alberta Modified by.
Set Operations Section 2.2.
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.
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.
Boolean Algebra How gates get picked. Boolean Arithmetic Boolean ≠ Binary – Boolean – 1/0 only, no places Boolean addition:
Section 6.1 Set and Set Operations. Set: A set is a collection of objects/elements. Ex. A = {w, a, r, d} Sets are often named with capital letters. Order.
Chapter 12. Chapter Summary Boolean Functions Representing Boolean Functions Logic Gates Minimization of Circuits (not currently included in overheads)
Hoda Roodaki Boolean Algebra Hoda Roodaki
Applied Discrete Mathematics Week 1: Logic and Sets
CHAPTER 3 SETS, BOOLEAN ALGEBRA & LOGIC CIRCUITS
Logic Gates and Boolean Algebra
Lecture 6: Universal Gates
Boolean Algebra.
Gate Circuits and Boolean Equations
Drill #3 Evaluate each expression if a = 6, b = ½, and c =
CHAPTER 1 : INTRODUCTION
… and now for something completely different…
Exercises Show that (P  Q)  (P)  (Q)
CSE 311 Foundations of Computing I
Boolean Algebra.
Set Operations Section 2.2.
Boolean Algebra & Logic Circuits
Basic Logic Gates 1.
Lecture 6: Universal Gates
CS/COE0447 Computer Organization & Assembly Language
Boolean Algebra.
CSE 370 – Winter Combinational Logic - 1
CSE 20 Lecture 9 Boolean Algebra: Theorems and Transformations
Boolean Algebra Introduction CSCI 240
CSE 311 Foundations of Computing I
COMS 361 Computer Organization
CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng
Boolean Algebra How gates get picked.
… and now for something completely different…
CSC102 - Discrete Structures (Discrete Mathematics) Set Operations
Presentation transcript:

CSE 20: Lecture 7 Boolean Algebra CK Cheng

Interpretation of Set Operations Interpretation of Logic Operations Outline Introduction Definitions Interpretation of Set Operations Interpretation of Logic Operations Theorems and Proofs Multi-valued Boolean Algebra Transformations

1. Introduction: iClicker Boolean algebra can be used for: Set operation Logic operation Software verification Hardware designs All of the above.                                       

1. Introduction Boolean algebra can be used for: Set operation (union, intersect, exclusion) Logic operation (AND, OR, NOT) Software verification Hardware designs (control, data process)                                       Provide some examples

Introduction: Basic Components We use binary bits to represent true or false. A=1: A is true A=0: A is false We use AND, OR, NOT gates to operate the logic. NOT gate inverts the value (flip 0 and 1) y = NOT (A)= A’                    id A NOT A 1 A A’

Introduction: Basic Components OR gate: Output is true if either input is true y= A OR B id A B A OR B 0  0 1 0  1 2 1  0 3 1  1 A A OR B One dominates in the input. B

Introduction: Basic Components AND gate: Output is true only if all inputs are true y= A AND B Id A B A AND B 0  0 1 0  1 2 1  0 3 1  1 A A AND B B Zero dominates in the input

Introduction: Half Adder  A Half Adder: Carry = A AND B Sum = (A AND B’) OR (A’ AND B)   id A, B Cout, Sum 00 0 0 1 01 0 1 2 10 3 11 1 0 A B Cout = A AND B

Introduction: Half Adder  A Half Adder: Cout = A AND B Sum = (A AND B’) OR (A’ AND B)   Sum: A’ A A’ and B Verify the result via simulation. (A and B’) or (A’ and B) B B’ A and B’

Introduction: Multiplexer A multiplexer: If S then Z=A else Z=B   A S and A Show the truth table and figure out the function (S and A) or (S’ and B) B S’and B S

2. Definition Boolean Algebra: A set of elements B with two operations. + (OR, U, ˅ ) * (AND, ∩, ˄ ), satisfying the following 4 laws for every a, b, c in B. 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: Set B has two distinct elements denoted as 0 and 1, such that a+0 = a; a*1 = a, P4. Complement Laws: a+a’ = 1; a*a’ = 0. Provide an overview with set and logic as foundation, 4 postulates as 4 pillars, theorems as branches and leaves. Software and hardware designs are the flowers and fruits of the structure.

Interpretation of Set Operations Set: Collection of Objects Example: A = {1, 3, 5, 7, 9} N = {x | x is a positive integer}, e.g. {1, 2, 3,…} Z = {x | x is an integer}, e.g. {-1, 0, 4} Q = {x | x is a rational number}, e.g. {-0.75, ⅔, 100} R = {x | x is a real number}, e.g. {π, 12, -⅓} C = {x | x is a complex number}, e.g. {2 + 7i} Ф = {} or empty set

P1. Commutative Laws in Venn Diagram A U B= B U A A∩B= B∩A B A A B

P2. Distributive Laws A∩(B U C) = (A∩B) U (A∩C) C A B Show the process on blackboard A B

P2. Distributive Laws A U (B∩C) = (A U B)∩(A U C) C A B Show the process on blackboard A B

1 P3. Identity Elements A 0 = {} 1 = Universe of the set A U 0 = A A∩1 = A 1 A

P4: Complement A U A’= 1 A∩A’= 0 A A’