Transcription of Chapter 2: Boolean Algebra and Logic Gates
{{id}} {{{paragraph}}}
1cs309 cs309 G. W. Cox Spring 2010 The University Of Alabama in Huntsville Computer ScienceThe University Of Alabama in Huntsville Computer ScienceChapter 2: Boolean Algebra andLogic Gatescs309 cs309 G. W. Cox Spring 2010 The University Of Alabama in Huntsville Computer ScienceThe University Of Alabama in Huntsville Computer ScienceBoolean AlgebraThe algebraic system usually used to work with binary Logic expressionsPostulates:1. Closure:Any defined operation on (0, 1) gives (0,1)2. Identity:0 + x = x ; 1 x = x3. Commutative:x + y = y + x ; xy = yx4. Distributive:x (y + z) = xy + xz; x + (yz) = (x + y)(x + z)5.
3 cs309 G. W. Cox – Spring 2010 The University Of Alabama in Hunt sville Computer Science Proving the Theorems Example: Theorem 1: x + x = x; …
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}