1 1 Small red 12 — _Statement truth-_ Output: glows if lights _value lights_ statement is assumed true in the case 2 1 2-position 12 ~ _Statement denial_ Input: if up, snap switches _switches_ statement is denied 3 2 14-position 12 _V_ _Statement_ Input of dial switches _switches_ statements 4 3 4-position 11 _k_ _Connective_ Input of dial switches _switches_ connectives: ∧ (and), ∨ (or), ▲ (if-then), ▼ (if and only if) 5 4 11-position 11 _A_ _Antecedent_ Input of dial switches _switches_ antecedents 6 5 11-position 11 _C_ _Consequent_ Input of dial switches _switches_ consequents 7 6 2-position 11 _S_ _Stop switches_ Input: if up, snap switches associates connective to main truth-value light 8 6 2-position 11 ~ _Connective denial_ Input: if up, snap switches _switches_ statement produced by connective is denied 9 7 Red light and 1 Start _Automatic start_ Input: causes the large button calc. to start down a truth table automatically 10 7 Red light and 1 Start _Power switch_ Input: turns the 2 buttons Stop power on or off 11 7 2-position 1 Stop “_Stop-on-true-or-_ Input: causes the snap switch _false_” _switch_ calc.to stop and red either on true button cases or on false cases 12 7 Yellow light 1 — _Main truth-value_ Output: glows if _light_ the statement