The textbook gives a similar example of proving the below problem:
Based on this, how would I go about showing $y={DES(k, x)} => \overline y=DES(\overline k, \overline x)$, within the same format as the answer for the above example? Thanks