Professional Documents
Culture Documents
• Truth table:
Constructing K-Maps (continued)
• Four variable K-Map
• Truth table:
a b c d q
0 0 0 0 0
0 0 0 1 1
0 0 1 0 1
0 0 1 1 1
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1
1 0 1 0 1
1 0 1 1 1
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
a b c d e q
0 0 0 0 0 0
0 0 0 0 1 0
0 0 0 1 0 1
0 0 0 1 1 1
0 0 1 0 0 1
0 0 1 0 1 1
0 0 1 1 0 1
0 0 1 1 1 1
0 1 0 0 0 0
0 1 0 0 1 1
0 1 0 1 0 0
0 1 0 1 1 1
0 1 1 0 0 0
0 1 1 0 1 1
0 1 1 1 0 0
0 1 1 1 1 1
1 0 0 0 0 0
1 0 0 0 1 1
1 0 0 1 0 1
1 0 0 1 1 1
1 0 1 0 0 1
1 0 1 0 1 0
1 0 1 1 0 0
1 0 1 1 1 0
1 1 0 0 0 0
1 1 0 0 1 1
1 1 0 1 0 1
1 1 0 1 1 0
1 1 1 0 0 1
1 1 1 0 1 1
1 1 1 1 0 1
1 1 1 1 1 1
Constructing K-Maps (continued)
Prime Implicant
• Esresso algorithm.
• The final expression should have all essential prime implicants.
Computer Algorithms
• Quine-McCluskey algorithm:
– Based on prime-implements, uses technique similar to K-maps
– Deterministic
– Easy to implement, but complexity and memory requirements
increase exponentially with number of variables.
– The method involves two steps:
• Finding all prime implicants of the function.
• Use those prime implicants in a prime implicant chart to find the
essential prime implicants of the function, as well as other prime
implicants that are necessary to cover the function.
Computer Algorithms (continued)
• Espresso algorithm:
– Developed at UC Berkley/ IBM.
– Based on combination of classical algorithms and
and heuristics
– Very efficient
– Logic Friday
• Free software: Windows front-end for
– Espresso Algorithm
– misII (component in Berkley’s OctTools)
Logic Friday Software Application Installation