Programs for generating Truth Table.
Truth table solving.