Additional Key Words and Phrases: logically passive function, minimization, minimal forms, incompletely specified functions, vacuous variables, dominance, multilevel logic design, absolutely minimal forms
Selected references
- Eugene L. Lawler. An approach to multilevel Boolean minimization. Journal of the ACM, 11(3):283-295, July 1964.