This article considers the equivalence and convergence of two iterative learning control (ILC) schemes with state feedback for a class of multi-input-multi-output discrete-time nonlinear systems in which each desired trajectory corresponds to a unique desired input or an infinite number of desired inputs. First, we strictly prove that the two ILC schemes are equivalent if they have the identical initial system inputs. Moreover, by the input space transformation method and mathematical induction we establish the necessary and sufficient criterion for the convergence of system output, input and state sequences. It is shown that the (locally Lipschitz) continuity is enough to guarantee the (exponential) convergence. Generally, the learned desired input depends on the values of the initial signals, the learning gain matrix and the state feedback item. By designing them with appropriate structures, the dependence is disappeared. Third, we show how to leverage the available information of system dynamics to design the learning gain matrix and state feedback for better tracking performance. Finally, we provide an example to illustrate the usefulness of our findings, in which we introduce the energy of learnable desired input to evaluate the learning performance.