Table 14
| Unit | Name of Light | Mark | Kind of Light |
|---|---|---|---|
| 1 | Statement truth value | V₁ to V₁₂ | Small, red |
| 13 | Main truth value | Large, yellow |
The answer to a problem is shown by a pattern of the lights of Units 1 and 13. The pattern of lights is equivalent to a row of the truth table. Each little red light (Unit 1) glows when its statement is assumed to be true, and it is dark when its statement is assumed to be false. The yellow light (Unit 13) glows when the whole compound statement is calculated to be logically true, and it is dark when the whole compound statement is calculated to be logically false.
The machine turns its “attention” automatically to each line of the truth table one after the other, and pulses are fed in according to the pattern of assumed true statements. We can set the machine to stop on true cases or on false cases or on every case, so as to give us time to copy down whichever kind of results we are interested in. When we have noted the case, we can press a button and the machine will then go ahead searching for more cases.