Truth Tables From Topology

Full Table Recomputed

every row calls the helper

A full truth table is an audit trail over all exact input rows. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Every row is recomputed

The helper enumerates every LOW and HIGH input pair and calls the same NAND switch-network helper for each pair.

rows=all LOW/HIGH input pairs\text{rows} = \text{all LOW/HIGH input pairs}
NAND final rowThe final row has the complete pull-down path.5 V5 ohmclosedclosedV0 V1 A+-5 VNANDLOW

The compact table uses pinned bit tokens

The compact cells are state tokens produced by the helper. Raw typed bit digits are rejected by the engine surface.

ABY001011101110\begin{array}{ccc} A&B&Y\\0&0&1\\0&1&1\\1&0&1\\1&1&0\end{array}