Assertion: gate's input | /r/HasProperty | computed
Facets:
value: from the output
type: OTHER
Source sentences:
text: b)=a+b{\pmod {2^{n}}}} , can be made logically reversible by adding information to the output, so that the input can be computed from the output (i.e. there exist a function F − 1 {\displaystyle F^{-1}} ).