15. In a process where the condition of a plurality of logic elements controls an action, a method for preparing a computer program for determining said action, said program being for execution in a digital computer having a processor and a memory, said method comprising the steps of: preparing for storage in said memory a Boolean expression for said logic elements; identifying a true path from said expression for each logic element by ignoring disjunctive elements using said processor; identifying a false path from said expression for each logic element by ignoring conjunctive elements; generating code which includes code which upon being executed by said computer examines the condition of each of said logic elements and branching instructions which directs branching along either said true path or false path as a function of the condition of each of of said logic elements.
16. The method defined by claim 15 including the simplification of said expression prior to said identification of said true and false paths.