Function sum of bit a bit b and bit c
add bit a, bit b, and bit c
Format:
sum of bit a bit b and bit c
Input:
bit a -
bit b -
bit c -
Output:
bit - None
Properties that reference this function:
sum of bit 0 bit 0 and bit 0 = 0 (Add 0, 0, 0)
sum of bit 1 bit 0 and bit 0 = 1 (Add 1, 0, 0)
sum of bit 0 bit 1 and bit 0 = 1 (Add 0, 1, 0)
sum of bit 1 bit 1 and bit 0 = 0 (Add 1, 1, 0)
sum of bit 0 bit 0 and bit 1 = 1 (Add 0, 0, 1)
sum of bit 1 bit 0 and bit 1 = 0 (Add 1, 0, 1)
sum of bit 0 bit 1 and bit 1 = 0 (Add 0, 1, 1)
sum of bit 1 bit 1 and bit 1 = 1 (Add 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))
sum of bit x bit 0 and bit 0 = x (Add Bit Output Property)
Comments
Please log in to add comments