Académique Documents
Professionnel Documents
Culture Documents
Input Variables :
A=A
B=B
C=C
D=D
Output Variables :
F1 = ~(~(A*B)*~(B*C)*~(A*~(~(C*D)))
Truth Table
ABCD F1
0000 0
0001 0
0010 0
0011 0
0100 0
0101 0
0110 1
0111 1
1000 0
1001 0
1010 0
1011 1
1100 1
1101 1
1110 1
1111 1
Veitch-Karnaugh Diagrams
F1 - ~(~(A*B)*~(B*C)*~(A*~(~(C*D)))
AB
CD 00 01 11 10
00 0 0 1 0
01 0 0 1 0
11 0 1 1 1
10 0 1 1 0
Canonical Forms
Canonical Sum
Canonical Product
F1: 0, 1, 2, 3, 4, 5, 8, 9, 10
Irrelevant Terms
F1:
F0 : (B*C)+(A*C*D)+(A*B)
F0 : (B+D)*(B+C)*(A+C)*(A+B)