CSE 20 Lecture 9 Boolean Algebra: Theorems and Proofs
CSE 20 Lecture 9 Boolean Algebra: Theorems and Proofs. CK Cheng April 26, 2011 Lecture notes. Theorems & Proofs. P1: a+b = b+a, ab=ba (commutative) P2: a+bc = (a+b)(a+c) (distributive) a(b+c) = ab + ac P3: a+0=a, a1 = a (identity) P4: a+a’=1, a a’= 0 (complement).
508 views • 10 slides