cse 20: lecture 7 boolean algebra ck cheng

17
1 CSE 20: Lecture 7 Boolean Algebra CK Cheng

Upload: ivo

Post on 05-Feb-2016

35 views

Category:

Documents


0 download

DESCRIPTION

CSE 20: Lecture 7 Boolean Algebra CK Cheng. 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: - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: CSE 20: Lecture  7 Boolean Algebra CK Cheng

1

CSE 20: Lecture 7Boolean Algebra

CK Cheng

Page 2: CSE 20: Lecture  7 Boolean Algebra CK Cheng

2

Outline

1. Introduction 2. Definitions

Interpretation of Set Operations Interpretation of Logic Operations

3. Theorems and Proofs Multi-valued Boolean Algebra

4. Transformations

Page 3: CSE 20: Lecture  7 Boolean Algebra CK Cheng

3

1. Introduction: iClickerBoolean algebra can be used for: A.Set operationB.Logic operationC.Software verificationD.Hardware designsE.All of the above.                                     

Page 4: CSE 20: Lecture  7 Boolean Algebra CK Cheng

4

1. IntroductionBoolean algebra can be used for: A.Set operation (union, intersect, exclusion)B.Logic operation (AND, OR, NOT)C.Software verificationD.Hardware designs (control, data process)                                     

Page 5: CSE 20: Lecture  7 Boolean Algebra CK Cheng

5

Introduction: Basic ComponentsWe use binary bits to represent true or false.A=1: A is trueA=0: A is falseWe 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 A0 0 11 1 0

A A’

Page 6: CSE 20: Lecture  7 Boolean Algebra CK Cheng

6

Introduction: Basic Components

OR gate: Output is true if either input is truey= A OR B

id A B A OR B0 0  0 0

1 0  1 12 1  0 1

3 1  1 1

A

BA OR B

Page 7: CSE 20: Lecture  7 Boolean Algebra CK Cheng

7

Introduction: Basic Components

AND gate: Output is true only if all inputs are truey= A AND B

Id A B A AND B0 0  0 01 0  1 02 1  0 03 1  1 1

A

BA AND B

Page 8: CSE 20: Lecture  7 Boolean Algebra CK Cheng

8

Introduction: Half Adder A Half Adder:Carry = A AND BSum = (A AND B’) OR (A’ AND B)  

AB

Cout = A AND B

id A, B Cout, Sum

0 00 0 0

1 01 0 1

2 10 0 1

3 11 1 0

Page 9: CSE 20: Lecture  7 Boolean Algebra CK Cheng

9

Introduction: Half Adder A Half Adder:

Cout = A AND BSum = (A AND B’) OR (A’ AND B)  

Sum:

A

BB’

A’ A’ and B

A and B’

(A and B’) or (A’ and B)

Page 10: CSE 20: Lecture  7 Boolean Algebra CK Cheng

10

Introduction: Multiplexer

A multiplexer: If S then Z=A else Z=B  

A S and A

S’and B

(S and A) or (S’ and B)

B

S

Page 11: CSE 20: Lecture  7 Boolean Algebra CK Cheng

11

2. DefinitionBoolean 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.

Page 12: CSE 20: Lecture  7 Boolean Algebra CK Cheng

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

12

Page 13: CSE 20: Lecture  7 Boolean Algebra CK Cheng

P1. Commutative Laws in Venn Diagram

A U B= B U A

13

A∩B= B∩A

A A

B

B

Page 14: CSE 20: Lecture  7 Boolean Algebra CK Cheng

P2. Distributive Laws• A∩(B U C) = (A∩B) U (A∩C)

14

A B

C

Page 15: CSE 20: Lecture  7 Boolean Algebra CK Cheng

P2. Distributive Laws• A U (B∩C) = (A U B)∩(A U C)

15

A B

C

Page 16: CSE 20: Lecture  7 Boolean Algebra CK Cheng

P3. Identity Elements

• 0 = {} • 1 = Universe of the set • A U 0 = A • A∩1 = A

16

A1

Page 17: CSE 20: Lecture  7 Boolean Algebra CK Cheng

P4: Complement

• A U A’= 1• A∩A’= 0

17

A

A’