Assertion: multiplexer's output | /r/HasProperty | difference
Facets:
Source sentences:
text: Half subtractor is a combination circuit with two inputs and two outputs (difference and borrow).