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\text{HIGH, HIGH inputs}
One NAND rowBoth series pull-down switches are closed.5 V5 ohmclosedclosedV0 V1 A+-5 VNANDLOW

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.

pull-down pathLOW output\text{pull-down path} \Rightarrow \text{LOW output}
One NAND rowTopology, not a caption, determines the output.5 V5 ohmclosedclosedV0 V1 A+-5 VNANDLOW