A truth-table row is a checked circuit case before it is a table cell. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
One row starts as physical inputs
This row uses two HIGH inputs, each represented by the high rail voltage.
HIGH, HIGH inputs
The row output follows the network
The helper finds a conducting pull-down path, so the output row is LOW. The row is not accepted because someone typed a label.