As early as 1894 Dodgson used truth tables for the solution of specific logic problems.
Nang maaga bilang 1894 Dodgson ginamit na mga talahanayan para sa katotohanan ang mga solusyon ng mga tiyak na lohika problema.