Assertion: multiplexer's output | /r/HasProperty | borrow
Facets:
Source sentences:
text: It produces the difference between the two binary bits at the input and also produces an output (Borrow) to indicate if a 1 has been borrowed.