X
inputs a, b outputs out | a | b | out | | 0 | 0 | 1 | | 0 | 1 | 1 | | 1 | 0 | 1 | | 1 | 1 | 0 |
Evaluate:
>
Display CNF:
>