Convert (x + y = z) to propositional logic formula for 8-bit numbers
-
05-11-2019 - |
题
(Note: this was asked in the cstheory stackexchange, but I was told this is a more appropriate place for it.)
I have three 8-bit 2's-complement numbers (X, Y, and Z). I want to find a propositional logic formula using only the variables (x1, x2... x8, y1... y8, z1... z8), where xi is the ith bit of x which expresses the concept that X + Y = Z. How would I go about doing this?
没有正确的解决方案
不隶属于 cs.stackexchange