Various problems associated with the mechanization of digitalized logic are examined. In Section I, typical logical operations are examined from the standpoint of their performance in a digitalized system. Operations discussed include performing the Boolean expansion of a propositional function, logical implication including maximum implicants and minimum implicates, solution of propositional equations, and transformation of basic variables.nIn Section II, techniques for reducing the length of the binary designation numbers are examined. In general, such reduction will result in more complicated rules for the logical operations. However, it is shows that in many cases a technique is also available which will avoid these complications.
展开▼