Truth table generator for symbolic logic introduction.