We now have a total of 4 + 2 + 4 + 2 + 2 + 1 occurrences of statements, or 15 occurrences. This is beyond the capacity of the existing machine. But fortunately Rule _F_ and Rule _A_ cancel each other; they may both be omitted; and this gives us 10 occurrences instead of 15. In other words, all the possible statuses under “Rule _B_ AND Rule _C_ AND Rule _D_ AND Rule _E_” will give us the answer we seek. The rephrasing and reasoning we have done here is perhaps not easy. For example, going from the logical pattern Only igs may be ows to the logical pattern If it is an ow, then it is an ig as we did in rephrasing Rule _B_, deserves rather more thought and discussion than we can give to the subject here. A person who is responsible for preparing problems for the Logical-Truth Calculator should know the algebra of logic. Choosing an appropriate grouping, we now set on the machine: {(IF 2, THEN 1) AND [IF (1 AND 2) AND NOT-4, THEN 3]} AND [(IF 3, THEN 2) AND (IF NOT-1, THEN NOT-4)] The setting is as shown in Table 16. After this setting, the machine is turned on and set to stop on the “true” cases. The Table 16 SETTING OF THE PROBLEM ON THE LOGICAL-TRUTH CALCULATOR UNIT 3 Statement Dial No. _V_₁ _V_₂ _V_₃ _V_₄ _V_₅ _V_₆ 3 Statement Dial Setting 2 1 1 2 4 3 2 Statement Denial Switch Setting — — — — up — 4 Connective Dial No. _k_₁ _k_₂ _k_₃ _k_₄ _k_₅ _k_₆ 4 Connective Dial Setting ▲ ∧ ∧ ∧ ▲ ∧ 8 Connective Denial Switch Setting — — — — — — 5 Antecedent Dial No. _A_₁ _A_₂ _A_₃ _A_₄ _A_₅ _A_₆ 5 Antecedent Dial Setting _V_ _k_₁ _V_ _k_₃ _k_₄ _k_₂ 6 Consequent Dial No. _C_₁ _C_₂ _C_₃ _C_₄ _C_₅ _C_₆ 6 Consequent Dial Setting _V_ _k_₅ _V_ _V_ _V_ _k_₈ 7 Stop Switches, associating connective to Main Truth-Value Light — — — — — up ----------------------------------------------------------------- 3 Statement Dial No. _V_₇ _V_₈ _V_₉ _V_₁₀ _V_₁₁ _V_₁₂ 3 Statement Dial Setting 3 2 1 4 _F_ _F_ 2 Statement Denial Switch Setting — — up up — — 4 Connective Dial No. _k_₇ _k_₈ _k_₉ _k_₁₀ _k_₁₁ 4 Connective Dial Setting ▲ ∧ ▲ off off 8 Connective Denial Switch Setting — — — — — 5 Antecedent Dial No. _A_₇ _A_₈ _A_₉ _A_₁₀ _A_₁₁ 5 Antecedent Dial Setting _V_ _k_₇ _V_ off off 6 Consequent Dial No. _C_₇ _C_₈ _C_₉ _C_₁₀ _C_₁₁ 6 Consequent Dial Setting _V_ _k_₉ _V_ off off 7 Stop Switches, associating connective to Main