Journals
Publish with us
Publishing partnerships
About us
Blog
Complexity
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Complexity
/
2021
/
Article
/
Tab 2
/
Research Article
CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover
Table 2
Truth tables for sum (a), product (b), and not (c) operations.
(a) Sum
x
y
x
ā+ā
y
0
0
0
0
1
1
1
0
1
1
1
1
(b) Product
x
y
x
.
y
0
0
0
0
1
0
1
0
0
1
1
1
(c) Not
x
0
1
1
0