Логическое пианино

Уильям Стэнли Джевонс — экономист по профессии и логик по призванию — заказал её в 1869 году часовщику из Солфорда и показал Королевскому обществу на следующий год. Двадцать одна клавиша вводит утверждения о четырёх терминах и их отрицаниях. Внутри стоят шестнадцать табличек — по одной на каждую строку таблицы истинности для четырёх терминов, — и каждая введённая посылка механически убирает строки, ей противоречащие. На виду остаются логически возможные случаи.

Основа — алгебра Джорджа Буля 1854 года, которую Джевонс переписал в более простую уравнительную логику, удобную для вычислений. Получилась первая машина, решавшая логическую задачу быстрее человека, — почти за восемьдесят лет до реле и ламп, делавших то же электрически и по тому же принципу: отбрось невозможное и смотри, что осталось.

Сохранившийся экземпляр находится в Музее истории науки в Оксфорде. Прямых продолжателей не было; от Буля к логическому вентилю путь шёл через Шеннона, которому таблички не требовались.