I don't understand how the Add16 inputs work.
In my mind these two things are equivalent:
Am I correct?
So if I do
Add16(a=false, b=true, out=out);
then I would expect the result to be
but instead it is
To get the right result, I have to do
Why the inversion?
I know my Add16 is valid because it passes the tests, I'm trying to implement Inc16 from Add16 chips.