Assertion: prefix's bit | /r/HasProperty | found as the exclusive
Facets:
value: with the corresponding carry bit
type: OTHER
Source sentences:
text: Each bit of the output number can then be found as the exclusive or of two input bits with the corresponding carry bit.