Expand description
Truth table utilities for logic gadgets.
This module provides a TruthTable type for representing boolean functions
and their truth tables, useful for constructing logic gadgets in reductions.
Structsยง
- Truth
Table - A truth table representing a boolean function.