
#1
Jan514, 12:04 AM

P: 16

Just a quick apology for the long post. Recently I have been looking into digital circuit design and how karnaugh maps can help you simplify a logic table to simple gates. I extended this idea to trying to derive the most efficient full adder design and came up with the following logic table for two 1bit inputs (a and b) for the current bits being added and a carry in(c):
xyca_{1}a_{0} 00000 00101 01001 01110 10001 10110 11010 11111 Then I made the karnaugh maps corresponding to the outputs, one for the most significant bit and another for the other bit. At this point I began looking at the map for the most significant bit and noted the groupings and turning them into a logical equation. ab+ac+bc With this, I don't really think that you can simplify this problem very much. I just simplified out the carry bit resulting in: ab+c(a+b) The story is similar with the next significant bit but due to the fact that there aren't any groupings in the karnaugh map, it really can't be simplified. I ended up with the following: _ c(a[itex]\odot[/itex]b)+c(a[itex]\oplus[/itex]b) After taking these final equations for the two outputs bits, I combined them into the final circuit. This should be a simplified form of a full adder. Comparing this to a fully simplified version of a full adder here: Both circuits are very similar its just mine seems to have a few more unessesary gates. Firstly, it seems that my xnor gate can simply be an xor wired to the output of the first xor gate and the carry in. Secondly, the additional and gates after the xor and xnor gates on my circuit can be completely omitted. My ultimate question is this: Is there a methodical way in which I can find the most simplified circuit for a corresponding truth table without resorting to brute force and examination of which parts can be omitted, changed, etc? Thank you for your help. 



#2
Jan514, 12:57 AM

P: 377

A Kmap doesn't give you XOR or XNOR so no, there isn't a methodical way to do what your'e asking.
You did the kmap correctly but you didn't simplify the Sum bit well. Look again and you'll see that when C=0 its just an XOR and obviously once you see than when C=1 you've got an XNOR (you can do this algebraically if you want). Typically if you see a "checkerboard" pattern you should be looking for ways to use XORs and XNORs. There is a logic style focused on XORs called "Reed Muller" logic that you may find interesting. http://www.eetimes.com/document.asp?doc_id=1274545 Keep in mind we never use this in industry (at least I've never seen it done). 



#3
Jan514, 07:24 PM

P: 377





#4
Jan614, 02:46 AM

P: 16

Karnaugh Maps
Ok, that makes sense. Thank you for your reply.



Register to reply 
Related Discussions  
karnaugh maps c++  Programming & Computer Science  20  
Are we supposed to memorize Karnaugh maps?  Electrical Engineering  5  
Expressing Karnaugh maps  Electrical Engineering  3  
Karnaugh Maps  Mathematics Learning Materials  54  
Karnaugh maps?  General Math  1 