Boolean Algebra
Boolean Algebra
___/ Class
Boolean Algebra Date
NAND . ‾‾ ¬^
NOR ‾‾ ¬v
XNOR Θ Θ
AND OR LAW
X^0=0 Xv1=1 Annulment Law
X^1=X Xv1=X Identity Law
X^X=X XvX=X Idempotent Law
X ^ ¬X = 0 X v ¬X = 1 Complement Law
¬¬X = X ¬¬X = X Double Negation
Law
X^Y=Y^X XvY=YvX Commutative Law
(X^Y)^Z = X^(Y^Z) (X^Y)^Z = X^(Y^Z)
Associative Law
X ^ (Y v Z) = XY v XZ X v YZ = (X v Y) ^ (X v
Z) Distributive Law
¬(X ^ Y) = ¬X v ¬Y ¬(X v Y) = ¬X ^ ¬Y
de Morgan's
Theorem
X ^ (X v Y) = X X v XY = X Absorption Law
Redundancy Law
Consensus Law
XOR Gate
XNOR Gate
High Logic
precedence operations
1 NOT
2 AND
3 OR
a. 1 v 1 = 1 [1] b. 0 v 0 = 0 [1]
g. !1 ^ !1 = 0 h. !1 v 0 = 0
2 Simplify the following [8]
a. Xv1= 1 b. XvX= X
c. Yv0= 0 d. Y^1= Y
e. Y^1(XvY)= f. XvY(X^Y)=YvX(Y
Y(YvX) ^X)
h. ¬¬X = X
g. X = X
a. ¬A¬(AvB) v ¬(A^B) = Q
= ¬A¬A¬B v ¬A v ¬B
= ¬A¬B v ¬A v ¬B
= ¬A v ¬B
De Morgan’s law
Idempotent law
Absorption law
b. C(A v B) v A v B = Q
= CA + A + CB + B
= A(C +1) + B(C + 1)
=A+B
Distribution
Absorption
c. ( M v N ) ( M v `N ) v ¬M^N v N = Q
distribution
absorption
d. ¬X ^ ¬( X Y ) = Q
= ¬X¬X v ¬Y¬X
= ¬X + ¬Y¬X
= ¬X(1 + ¬Y)
= ¬X
NOR X=¬(AvB)
OR X=AvB
5
a. Fill in the following truth table
OR
AND
NOT
XOR