Accepts any given number of variables and an expression of those variables to generate a truth table for the expression.