This is/will be a simple program to solve truth tables.