Updates truth table to accept a premise count instead of premises.