Title: Computer reduction of Boolean expressions
Subjects: Boolean Algebra, Data processing