Enter a formula to get its truth table.