Generate a truth table from a logical expression by testing all possible combinations of true / false values for its variables.