Assertion: truth table | /r/HasProperty | needed
Facets:
Source sentences:
text: Thus, a truth table of eight rows would be needed to describe a full adder's logic: