{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# lec8 - CSE 20 Lecture 8 Boolean Postulates and Theorems CK...

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

1 CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng 4/26/2011

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

View Full Document
2 Outline Interpretation of Boolean Algebra using Logic Operations Boolean Algebra and Gates Theorems and Proofs
Logic OR: x<10 OR x> 18 We will go rain or shine. Either one is good AND: x< 10 AND x> 8 CSE20 is fun and useful. Both need to be true 3

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

View Full Document
4 Section 1: Interpretation of Boolean Algebra using Logic Operations Logic Symbols, 0, 1; and AND, OR Gates. a =1 => a is true , a =0 => a is false. 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
5 Interpretation of P1 and P2 in Logic P1: Commutative a is true OR b is true = b is true OR a is true a is true AND b is true = b is true AND a is true 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)

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

View Full Document
6 Interpretation of P3 and P4 in Logic P3: Identity 0: one false statement, 1: one true statement
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}