Discrete math truth table generator