Generates a truth table