Question: Suppose that for each line of a 2-variable truth table, you are told whether the final column in that line should evaluate to true or to false. (For example, you might be told that the final column should contain T, F, T, and F in that order.) Explain how to create a logical statement using the symbols s, t, ∧, ∨, and ¬ that has that pattern as its final column. Can you extend this procedure to an arbitrary number of variables?