Generate a truth table from an input statement by testing all possible combinations of true / false values for its variables.