Truth table (source code)

= Truth table
{wiki}

A truth table lists a finite formula's value for every Boolean valuation of the finitely many primitive propositions that occur in it.