Generates a truth table from a given expression