CSE20 Lecture 8

# CSE20 Lecture 8 - CSE 20 Lecture 8 Boolean Postulates and...

This preview shows pages 1–7. Sign up to view the full content.

1 CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng 2/9/2010

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
2 Outline • Section 1: Interpretation of Boolean Algebra using Logic Operations • Section 2: Boolean Algebra and Gates • Section 3: Theorems and Proofs
3 Section 1: Interpretation of Boolean Algebra using Logic Operations Logic tables: a = 1 => a is true a = 0 => a is false a OR b a AND b id a b a OR b 0 0 0 0 1 0 1 1 2 1 0 1 3 1 1 1 Id a b a AND b 0 0 0 0 1 0 1 0 2 1 0 0 3 1 1 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
4 P1 and P2 P1: Commutative • a OR b = b OR a • a AND b = b AND a P2: Distributive • a is true OR (b is true AND c is true) = (a is true OR b is true) AND (a is true OR c is true) • a is true AND (b is true OR c is true) = (a is true AND b is true) OR (a is true AND c is true)
5 P3 and P4 P3: Identity • 0: false, 1: true • a is true OR false statement = a is true • a is true AND true statement = a is true P4: Complement • a is true OR a is false = true • a is true AND a is false = false

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
6 Section 2: Boolean Algebra and Gates P1: Commutative a+b = b+a a·b = b·a
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 06/12/2011 for the course CS 1 taught by Professor Staff during the Fall '08 term at Cornell.

### Page1 / 15

CSE20 Lecture 8 - CSE 20 Lecture 8 Boolean Postulates and...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online