The propositional calculus and the monadic functional calculus are reduced to a form which can be processed by digital computer techniques. A set of binary designation numbers is assigned in such a way that two logical expres¬sions receive the same designation number if and only if they are logically equivalent. The various logical opera¬tions reduce to simple operations on the binary num¬bers, and an isomorphism exists between designation numbers and the corresponding logical functions. The process of assigning these designation numbers is re¬ferred to as digitalization.nThe digitalization techniques for the propositional calculus and the monadic functional calculus depend on the existence of a full disjunctive normal form for the logical expressions involved. The existence of such a form for the propositional calculus is well-known, and its immediate applicability to the problem of digitaliza¬tion is shown. For the monadic functional calculus includ¬ing propositional variables and free individual variables) the existence of a full disjunctive normal form is proved, and the digitalization process is shown.
展开▼
