I saw this complicated question and I am not really sure about it, would appreciate your view on it.
Is the following build stronger than 2DES or 3DES with 2 different keys (or even normal DES)?
$DES(DES(x,k),\overline{k})$
what I think is that in regards to a $2^{56}$ key space, we need to perform the following:
regular DES: we need to schedule the key $k$, and then test $E(k,m),k'$;
regarding 2DES/3DES with two different keys: unsure, but I think that in this case we need to schedule $k_1 = k$ and $k_2 = \overline{k}$. I would appreciate seeing how to properly decide if it makes it a stronger build than those (2DES,3DES - both with two different keys).
For simplicity sake (and question sake) assume that the adversary has a small amount of known plaintext:ciphertext pairs.