(If you can't read the code in this post on mobile, try this wrapped version instead, sorry) Suppose you have two values. You know some bits are zero, some bits are one, other bits could be either. You can add together those two values to get another such partially-known value, determining as precisely as possible…