can input a formula and generate a truth table for it