Macchina Kalin–Burkhart

Theodore Kalin e William Burkhart assemblarono una macchina che scorreva meccanicamente la tabella di verità di un'espressione booleana fino a una dozzina di variabili. Mentre il pianoforte logico e il dimostratore di Stanhope erano meccanici, questa funzionava elettricamente e sapeva dire se un'espressione fosse una tautologia o una contraddizione.

È considerata una delle prime macchine elettriche costruite esclusivamente per la logica simbolica anziché per l'aritmetica. Si racconta che Kalin scoprì che una sua formula era autocontraddittoria solo quando la macchina si rifiutò di restituire qualsiasi risposta.