Issue No. 12 - December (1979 vol. 28)
V.M. Plavsic , National Defence Research Institute
This paper presents methods for iterative evaluation of Boolean expressions suitable, e. g., in sequential search and matching when the input variables appear in sequence. The sum-of-product form is assumed and the clue is to partially compute the values of all products partially for each new variable being defined. It is shown that the additive use of an expression for the complementary function can result in a faster evaluation. The method proves to be extendable to multilevel expressions.
sequential evaluation, Boolean decision, data base search, evaluation of Boolean expressions, fast evaluation, hierarchical Boolean functions, multilevel Boolean functions, partial evaluation
P.E. Danielsson, V.M. Plavsic, "Sequential Evaluation of Boolean Functions", IEEE Transactions on Computers, vol. 28, no. , pp. 879-887, December 1979, doi:10.1109/TC.1979.1675278