07 - 7-Sep-109:20 AM Boolean Algebra EEL 3701 EEL 3701 Menu...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
7-Sep-10—9:20 AM Boolean Algebra 1 University of Florida, EEL 3701 – File 07 © Drs. Schwartz & Arroyo EEL 3701 EEL 3701 Menu • Boolean Algebra >Theorems >Definitions Look into my . .. 1 University of Florida, EEL 3701 – File 07 © Drs. Schwartz & Arroyo See examples on web: BooleanAlgebra.PDF EEL 3701 EEL 3701 The Mathematics of Logic Design - Boolean Algebra Basic Postulates & Theorems > Identity Laws 1 X+0 X X1 X 1. X + 0 = X X • 1 = X 2. X + 1 = 1 X • 0 = 0 > Indempotent Laws 3. X + X = X X • X = X > Involution & Complementarity Laws 4. (X’)’ = X 5. X + X’ = 1 X • X’ = 0 > Ct t i L 2 University of Florida, EEL 3701 – File 07 © Drs. Schwartz & Arroyo > Commutative Laws 6. X + Y = Y + X X • Y = Y • X > Associative Laws 7. (X+Y)+Z=X+(Y+Z)=X+Y+Z (XY)•Z=X•(YZ)=XYZ > Absorption Laws 8. X • (X +Y) = X X + (X•Y) = X
Background image of page 1

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

View Full DocumentRight Arrow Icon
7-Sep-10—9:20 AM Boolean Algebra 2 University of Florida, EEL 3701 – File 07 © Drs. Schwartz & Arroyo EEL 3701 EEL 3701 The Mathematics of Logic Design - Boolean Algebra Important Theorems > Distributive Law > Distributive Laws 9. X•(Y+Z) = X•Y+X•Z X+(Y•Z)=(X+Y)•(X+Z) > De Morgan’s Law 10. (X+Y+Z)’ = X’•Y’•Z’ (X•Y•Z)’ = X’+Y’ +Z’ > Duality If we treat + and • as dual pairs, and 0 and 1 as dual pairs, the theorems in one column can be deduced from the other, e.g., 3 University of Florida, EEL 3701 – File 07 © Drs. Schwartz & Arroyo 1. X + 0 = X 2. X + 1 = 1 5. X + X’ = 1 1D. X • 1 = X 2D. X • 0 = 0 5D. X • X’ = 0 EEL 3701 EEL 3701 Truth Table Proof of DeMorgan’s Law (and use of Duality) /(A + B) = /A • /B /(A • B) = /A + /B Dual A B /(A+B) /A•/B /(A•B) /A + /B 00 1 1 1 1 01 0 0 1 1 1 0 0 0 1 1 4 University of Florida, EEL 3701 – File 07 © Drs. Schwartz & Arroyo QED 11 0 0 0 0
Background image of page 2
7-Sep-10—9:20 AM Boolean Algebra 3
Background image of page 3

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

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 09/11/2010 for the course EEL 3701c taught by Professor Gugel during the Spring '05 term at University of Florida.

Page1 / 7

07 - 7-Sep-109:20 AM Boolean Algebra EEL 3701 EEL 3701 Menu...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online