{(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₆ | V₇ | V₈ | V₉ | V₁₀ | V₁₁ | V₁₂ |
| 3 | Statement Dial Setting | 2 | 1 | 1 | 2 | 4 | 3 | 3 | 2 | 1 | 4 | F | F |
| 2 | Statement Denial Switch | ||||||||||||
| Setting | — | — | — | — | up | — | — | — | up | up | — | — | |
| 4 | Connective Dial No. | k₁ | k₂ | k₃ | k₄ | k₅ | k₆ | k₇ | k₈ | k₉ | k₁₀ | k₁₁ | |
| 4 | Connective Dial Setting | ▲ | ∧ | ∧ | ∧ | ▲ | ∧ | ▲ | ∧ | ▲ | off | off | |
| 8 | Statement Denial Switch | ||||||||||||
| Setting | — | — | — | — | — | — | — | — | — | — | — | ||
| 5 | Antecedent Dial No. | A₁ | A₂ | A₃ | A₄ | A₅ | A₆ | A₇ | A₈ | A₉ | A₁₀ | A₁₁ | |
| 5 | Antecedent Dial Setting | V | k₁ | V | k₃ | k₄ | k₂ | V | k₇ | V | off | off | |
| 6 | Consequent Dial No. | C₁ | C₂ | C₃ | C₄ | C₅ | C₆ | C₇ | C₈ | C₉ | C₁₀ | C₁₁ | |
| 6 | Consequent Dial Setting | V | k₅ | V | V | V | k₈ | V | k₉ | V | off | off | |
| 7 | Stop Switches, associating | ||||||||||||
| connective to Main | |||||||||||||
| Truth-Value Light | — | — | — | — | — | — | — | — | — | — | — | ||
possible statuses of employees who are not insured are shown in [Table 17]. As we look down the last column in [Table 17], we observe 6 occurrences of T, instead of 5 as the manager determined ([see Table 15]). Thus, when we compare the manager’s result with the machine result, we find an additional possible combination to be reported to Mr. Adams, combination 7:
Employee eligible, employee has not applied, employee’s application not approved, employee requires a medical examination, employee not insured.
Table 17
SOLUTION OF THE PROBLEM
BY THE CALCULATOR