Definition
Compact Truth Table
A compact truth table is a truth table method that evaluates only the atoms needed for the current branch of the evaluation tree.
It reduces the amount of work compared to a full truth table.
Properties
Order Dependence
The size of the compact table depends on the order in which atoms are chosen.
The result does not depend on that order.