The combinational logic-level equivalence problem is to determine whether two given combinational circuits implement the same Boolean function. This problem arises in a number of computer-aided design ...

How to read electronic circuit diagrams by Brown, Robert Michael, 1943-; Lawrence, Paul, 1934-; Whitson, James A. Publication date ... vacuum tubes, interconnecting devices, radio and television ...