... determiner formulas. In a given context, the evaluation of a logical formula is determined by the specifications of the variables con- tained in that formula. There are several well known methods for ... logical rules for formula reduction are rigorous and machin- able. A computer program that reduces formulas given in disjunctive canonical forms to more economical normal forms is being prepared ... basic logical principles are treated, for example, in Refs. 7, 14, 15, 16, and 17. Machinable methods for reducing logical formulas to minimal normal forms, for resolving “don’t care” conditions,...