Title: Combinational circuit design verification using SETS
Subjects: Algebra, Boolean, Boolean Algebra, Combinatorial set theory