Example
A half adder turns two bits into a sum bit and a carry bit.
highlighted = computed this step
Build the concrete table
Compute the highlighted logic-table value.
A=0 B=0sum=0 carry=0
Build the concrete table
Compute the highlighted logic-table value.
A=0 B=0A=0 B=1sum=0 carry=0sum=1 carry=0
Build the concrete table
Compute the highlighted logic-table value.
A=0 B=0A=0 B=1A=1 B=0sum=0 carry=0sum=1 carry=0sum=1 carry=0
Build the concrete table
Compute the highlighted logic-table value.
A=0 B=0A=0 B=1A=1 B=0A=1 B=1sum=0 carry=0sum=1 carry=0sum=1 carry=0sum=0 carry=1
logic-computation
Every row is intentionally ordered and pinned to the lesson specification.