Algebra History George Boole 2 November 1815 Lincoln Lincolnshire, England – 8 December 1864 Ballintemple, Ireland Professor at Queens College, Cork, Ireland “spring of 1847 that he put his ideas into the pamphlet called Mathematical Analysis of Logic.” from wikipedia.com
Algebra Basic Boolean Equations For the basic gates/functions AND Z=AB X=CDE 3 input gate Y=FGHK 4 input gate OR Z=A+B Y=F+G+H+K 4 input gate NOT Z=A Y = (F G H K) actually 2 level logic 9/15/09 - L5 Boolean Copyright 2009 - Joanne DeGroat, ECE, OSU 4 Algebra 2 Level Logic Consider the following logic equation Z(A,B,C,D) = A B + C D The Z(A,B,C,D) means that the output is a function of the four variables within the (). The AB and CD are terms of the expression. This form of representing the function is an algebraic expression. For this function to be True, either both A AND B are True OR both C AND D are True. 9/15/09 - L5 Boolean Copyright 2009 - Joanne DeGroat, ECE, OSU 5 Algebra Truth table expression Just like we had the truth tables for the basic functions, we can also construct truth tables for any function.
Algebra Examples of Boolean Equations Some examples F = AB + CD + BD’ Y = CD + A’B’ SUM = AB + A Cin + B Cin P = A0A1A2A3A4B0B1B2B3B4 + …
Equations can be very complex
Usually desire a minimal expression 9/15/09 - L5 Boolean Copyright 2009 - Joanne DeGroat, ECE, OSU 7 Algebra Basic Identities of Boolean Algebra 1. X + 0 = X 2. X · 1 = X
3. X + 1 = 1 4. X · 0 = 0 5. X + X = X 6. X · X = X
Algebra Basic Properties (Laws) Commutative Commutative 10. X + Y = Y + X 11. X · Y = Y · X Associative Associative 12. X+(Y+Z)=(X+Y)+Z 13. X(YZ) = (XY)Z Distributive Distributive 14. X(Y+Z) =XY+XZ 15. X+YZ=(X+Y)(X+Z) AND distributes over OR distributes over OR AND
Algebra Duals What is meant by the dual of a function? The dual of a function is obtained by interchanging OR and AND operations and replacing 1s and 0s with 0s and 1s. Shortcut to getting function complement Starting with the equation on the previous slide Generate the dual F=(X’+Y+Z’)(X’+Y’+Z) Complement each literal to get: F’=(X+Y’+Z)(X+Y+Z’) 9/15/09 - L5 Boolean Copyright 2009 - Joanne DeGroat, ECE, OSU 19 Algebra Getting XILINX software Go to www.xilinx.com In the upper line you have Sign in Language Documentation Downloads Choose Downloads On the right side of the page you will see “Logic design tools” Choose ISE WebPackTM