Function carry on sum of bit a bit b and c

add bit a, bit b, and carry bit c and output the next carry bit

Format:

carry on sum of bit a bit b and c

Input:

bit a -

bit b -

bit c -

Output:

bit - None

Properties that reference this function:

carry on sum of bit 0 bit 0 and 0 = 0 (Add Carry 0 0 0)

carry on sum of bit 1 bit 0 and 0 = 0 (Add Carry 1 0 0)

carry on sum of bit 0 bit 1 and 0 = 0 (Add Carry 0 1 0)

carry on sum of bit 1 bit 1 and 0 = 1 (Add Carry 1 1 0)

carry on sum of bit 0 bit 0 and 1 = 0 (Add Carry 0 0 1)

carry on sum of bit 1 bit 0 and 1 = 1 (Add Carry 1 0 1)

carry on sum of bit 0 bit 1 and 1 = 1 (Add Carry 0 1 1)

carry on sum of bit 1 bit 1 and 1 = 1 (Add Carry 1 1 1)

sum of (list x and xs) (list y and ys) and carry bit carry = list (sum of bit x bit y and bit carry) and (sum of xs ys and carry bit (carry on sum of bit x bit y and carry)) (Add List Carry (9))

carry on sum of bit x bit 0 and 0 = 0 (Add Bit Carry Property)

Comments

Please log in to add comments