Professional Documents
Culture Documents
Karnaugh Map C B B C
= B + AB + BC + AC, by commutativity (and associativity) of + (= ) = B + AC, by absorption (twice). By Karnaugh map, we use the lefthand side to determine which squares are covered (placing a in those that are). Then each is covered by at least one oval that covers a 2-power of s. The most ecient way we can do this yields the regions of the righthand side.
A A
By Karnaugh map, we use the lefthand side to determine which squares are covered (placing a in those that are). Then each is covered by at least one oval that covers a 2-power of s. The most ecient way we can do this yields the regions of the righthand side.
Karnaugh Map C C B B
A B
By Karnaugh map, we use the lefthand side to determine which squares are covered (placing a in those that are). Then each is covered by at least one oval that covers a 2-power of s. The most ecient way we can do this yields the regions of the righthand side.
4. Prove that A + AB = A.
Solution. This is immediate from the absorption property. Essentially, AB is a sub-region of A. The Karnaugh map approach is just as trivial. Only A is covered and so the appropriate 2-power region encircles A. Thus, A + AB = A.
Karnaugh Map A A B B
5. Prove that (A + C )A + AC + C = A + C .
Solution. We have been talking about the absorption property, when, in fact, there are two, the second being that (A + X )A = A, for any X. So, (A + C )A reduces to A by the second absorption property, and AC + C reduces to C by the rstmentioned absorption property. In fact, AC also absorbs into A. Thus, we have: (A + C )A + AC + C = A + AC + C = A + C. By Karnaugh map, there is only one way to cover with 2-ovals all the squares covered by the lefthand side, and these immediately give the righthand side.
Karnaugh Map A A C C
A A
Karnaugh Map C C B B B
7. Let A, B, C, D represent the binary digits of a decimal number in the range 0 to 15. Construct a simplied expression that is a prime number checker, i.e. if f (A, B, C, D) is the expression then f (A, B, C, D) should return 1 exactly when (ABCD)two is the binary representation of a prime number less than 16.
Solution. Let n be the number (as a decimal), and (ABCD)two be its binary representation, then the truth table with 1 representing T (true) and 0 representing F (false), together with the value of the function f (A, B, C, D). In the Karnaugh map, the squares for which f (A, B, C, D) = 1, are identied by a . Then each is covered by at least one oval that covers a 2-power of s (in this case, only two s could be covered at a time). n A B C D f 0 0 0 0 0 1 0 0 0 1 2 0 0 1 0 1 3 0 0 1 1 1 4 0 1 0 0 5 0 1 0 1 1 6 0 1 1 0 7 0 1 1 1 1 8 1 0 0 0 9 1 0 0 1 10 1 0 1 0 11 1 0 1 1 1 12 1 1 0 0 13 1 1 0 1 1 14 1 1 1 0 15 1 1 1 1
Karnaugh Map C C CD AB 00 01 11 10 B 00 A 01 B 11 A 10 B D D D
Thus we see that f (A, B, C, D) = A B C + A BD + BC D + B CD is an optimal way of writing f as a union of regions (there are other ways just as good).