An Algorithm for Translating Boolean Expressions
Bruce W. Arden, Bernard A. Galler, Robert M. Graham · Journal of the ACM · 1962
This paper describes an algorithm for scanning Boolean expressions.Such an algorithm takes a complex, relational expression and transforms it into an optimal set of computing steps.The result is optimal in the sense that no redundant evaluations are made.The particular algorithm described is advantageous in that, as a variant of a well-known *