It is possible to leak zero information. Assume uniformly distributed $a$ and $b$ and let $a$ vary along the rows and $b$ along the columns of the operation tables below:
$$
\begin{array}{ccc}
\begin{array}{c|cccc}
X & 0&1&2&3\\ \hline
0 & 0&1&2&3 \\
1 & 1&2&3&0 \\
2 & 2&3&0&1 \\
3 & 3&0&1&2
\end{array} & \quad &
\begin{array}{l|cccc}
Y & 0&1&2&3\\ \hline
0 & 3&0&1&2 \\
1 & 0&1&2&3 \\
2 & 1&2&3&0 \\
3 & 2&3&0&1
\end{array}
\end{array}
$$
Note that for each operation knowing the output ($aXb$ or $aYb$) gives no information at all about $a$. The same is true of $b$. But if you know one of $a$ or $b$ you then know the other one uniquely.
Furthermore, let us say $aXb=0.$ The possible pairs $(a,b)$ are now in the set
$$
S=\{(0,0),(1,3),(2,2),(3,1)\}.
$$
Assuming no errors in computing the operation, the only possibility for $aYb$ is $aYb=3$ and this gives no further information about the possible pairs in $S$.
You may say this is a strange example, but it demonstrates that the minimum can be zero for each individual input variable.
One last point, since I don't know your requirements exactly. It is possible to double the bitlength of the output while ensuring even knowing one of $a$ or $b$ leaks no information about the other. The output $2X3=12$ would correspond to the output bit pattern $0110$ with $01=1,$ and $10=2.$ Here is an example below:
$$
\begin{array}{c|cccc}
X & 0&1&2&3\\ \hline
0 & 00&11&22&33 \\
1 & 13&02&31&20 \\
2 & 21&30&03&12 \\
3 & 32&23&10&01
\end{array}
$$
Now let us say you know that $a=1.$ This restricts you to the second row of the operating table but $b$ is still completely undetermined, you know nothing about the value of $b.$
This example uses two MOLS (Mutually Orthogonal Latin Squares).