Beruflich Dokumente
Kultur Dokumente
x AB
X=A+B
A B X
0 0 0
0 1 1 XOR
1 0 1
1 1 0
Difference to OR
XOR and XNOR Gates
The eXclusive Not OR (XNOR) gate is the inverse
of the XOR gate
The truth tables for XNOR is as follows
A B X
0 0 1
0 1 0
1 0 0
1 1 1
Gate Symbol Truth table Boolean expression
A B P
INVERTER 0 1
A P 1 0 P =A
0 0 0
A 0 1 0
AND P P = AB
1 0 0
B 1 1 1
0 0 0
A 0 1 1
OR P P = A+B
1 0 1
B 1 1 1
0 0 1
A 0 1 1
NAND P 1 0 1 P = A B
B 1 1 0
0 0 1
A 0 1 0
NOR P P = A + B
1 0 0
B 1 1 0
0 0 0
A 0 1 1
XOR 1 0 1 P = A B
P
B 1 1 0
0 0 1
A 0 1 0
XNOR P 1 0 0 P = A B
B
1 1 1
3-10 Boolean Theorems
The theorems or laws below may represent an expression
containing one variable.
Boolean algebra was created by George Boole, an English
mathematician (1815-1864).
x0 0 x 1 x
xx x xx 0
x 1 1 xx x
x x 1
Ronald Tocci/Neal Widmer/Gregory
Moss Copyright ©2007 by Pearson Education, Inc.
Digital Systems: Principles and Columbus, OH 43235
Applications, 10e All rights reserved..
Figure 3-25 Single-variable theorems. Tocci 10th Edition
© 2007 Pearson Education, Inc.
Digital Systems: Principles and Applications, 10e Pearson Prentice Hall
By Ronald J. Tocci, Neal S. Widmer, and Gregory L. Moss Upper Saddle River, NJ 07458
3-10 Boolean Theorems
Multivariable theorems:
x y yx
Understanding all of the x y yx
Boolean theorems will be x ( y z) ( x y) z x y z
useful in reducing
expressions to their x( yz ) ( xy ) z xyz
simplest form. x( y z ) xy xz
( w x)( y z ) wy xy wz xz
x xy x
x xy x y
Ronald Tocci/Neal Widmer/Gregory
Moss
x xy x y Copyright ©2007 by Pearson Education, Inc.
Digital Systems: Principles and Columbus, OH 43235
Applications, 10e All rights reserved..
The commutative, associative
(5) x( y z ) xy xz
(6) ( w x)( y z ) wy xy wz xz
} Distributive law (we can
expand just like normal
algebra)
(7) x xy x
(8)
(9)
x xy x y
x xy x y
} These laws are not represented in regular
algebra however they do hold true for Boolean
Algebra. They can be proved by trying all
values of x and y
Lets work through the following example
3-11 DeMorgan’s Theorems
When the OR sum of two variables is
inverted, it is equivalent to inverting each
variable individually and ANDing them.
When the AND product of two variables is
inverted, it is equivalent to inverting each
variable individually and ORing them.
( x y ) x. y
When the product (AND) of two variables is inverted
it is the same as inverting the individual variables and
adding (OR) them
( x. y ) x y
3-11 DeMorgan’s Theorems
A NOR gate is equivalent to an AND gate
with inverted inputs.
A NAND gate is equivalent to an OR gate
with inverted inputs.
ABC ABC
AB ABC C D D
In the Karnaugh map for this truth table, we may replace the ‘don’t care’ output
with a 1 without affecting the truth table. This we do for the ‘don't care’ at the
bottom left-hand corner of the Karnaugh map. Having done this, we find that we
can have a square cluster of four 1s as shown. From this, we find that
P=A