Professional Documents
Culture Documents
NAND Gate Implementation:: Verification of AND Function
NAND Gate Implementation:: Verification of AND Function
Inputs
Output
A
0
0
1
1
Verification of OR function:-
0
1
0
1
Desired
x=A.B
0
0
0
1
Observed
0
0
0
1
Inputs
Output
A
0
0
1
1
Desired
x=A+B
0
1
1
1
B
0
1
0
1
Inputs
Output
A
0
1
Desired
X=A'
1
0
Observed
1
0
Observed
0
1
1
1
Inputs
Output
A
0
0
1
1
B
0
1
0
1
Desired
x=A.B
0
0
0
1
Observed
0
0
0
1
Verification of OR function:Inputs
Output
A
0
0
1
1
B
0
1
0
1
Desired
x=A+B
0
1
1
1
Observed
0
1
1
1
Output
Inputs
A
0
0
1
1
Observed
B
0
1
0
1
1
0
0
0
Inputs
A
0
0
1
1
Output
Observed
B
0
1
0
1
1
1
1
0
Inputs
A
0
1
Output
Observed
0
1
Output
Inputs
A
0
0
1
1
Output
Inputs
A
0
0
1
1
Observed
B
0
1
0
1
1
0
0
0
Truth Table:
Observed
B
0
1
0
1
1
1
1
0
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
F1
0
1
1
1
1
0
1
0
1
1
1
1
1
1
1
1
F2
0
1
0
1
1
1
1
1
0
1
0
1
0
1
0
1
MINTERM OF F1
F1=m1+m2+m3+m4+m6+m8
F1= (A+B+C+D)+ (A+B+C+D)+ (A+B+C+D)+ (A+B+C+D)+
(A+B+C+D)+ (A+B+C+D)
MAXTERM of F1
F1=M0.M5.M7
F1=(A+B+C+D).(A+B+C+D).(A+B+C+D)
2) Write the Boolean Logic equation in term of minterms of sum and
maxterms of products for function F2 in terms of the inputs A, B, C, D
MINTERM OF F2
F2= m1+m3+m4+m5+m6+m7+m9+m11+m13+m15
F2= (A+B+C+D)+ (A+B+C+D)+ (A+B+C+D)+ (A+B+C+D)+
(A+B+C+D)+ (A+B+C+D)+ (A+B+C+D)+ (A+B+C+D)+ (A+B+C+D)+
(A+B+C+D)
MAXTERM OF F2
F2= M0.M2.M8.M10.M12.M14
F2=(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).(A+B+C+D).
(A+B+C+D)