输入:
A = {{ inputA ? '1' : '0' }},B = {{ inputB ? '1' : '0' }},Cin =
{{ carryIn ? '1' : '0' }}
中间值:
xor1 = A ⊕ B = {{ inputA ? '1' : '0' }} ⊕
{{ inputB ? '1' : '0' }} =
{{ xor1 ? '1' : '0' }}
({{ inputA !== inputB ? '不同' : '相同' }})
本位:
Sum = xor1 ⊕ Cin = {{ xor1 ? '1' : '0' }} ⊕
{{ carryIn ? '1' : '0' }} =
{{ sumOut ? '1' : '0' }}
({{ xor1 !== carryIn ? '不同' : '相同' }})
进位:
Cout = (A∧B) ∨ (xor1∧Cin) = ({{ carry1 ? '1' : '0' }}) ∨ ({{
carry2 ? '1' : '0'
}}) = {{ carryOut ? '1' : '0' }}