Add a truth table generator for validating assumptions.