Generates truth tables for formulas of sentential logic