A program to generate truth tables.