Equivalence checking of combinational circuits using Boolean expression diagrams Abstract: The combinational logic-level equivalence problem is to determine whether two given combinational circuits ...

Learn how to apply boolean algebra and logic gates to real-world problems or applications in the context of analytical reasoning.

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 ...