Re: Full adder

Posted by joobcode on Feb 06, 2013; 3:37pm
URL: http://nand2tetris-questions-and-answers-forum.52.s1.nabble.com/Full-adder-tp4026235p4026241.html

K-Maps our very interesting, thank you.

Could you please show your work with regard to your statement,

(~A)B does not equal ~(A(~B)) so X + ~X = 1

when considering my reduction of:

C(~AB  + A(~B) )

=======

You mention ~(A(~B)) which I read as:

Not( And(A, Not(B) ))

I ask for your working because I can't see this directly in the term I want to reduce or how to derive this from the term I am trying to reduce.

It has occurred to me that I might not be using the correct conventions for expressing this term with plain text. So here is the term I trying to reduce in postfix notation.

And(C, Or( And(Not(A),B), And(A, Not(B) ) ) )