Очень хорошая мысль - разобраться на примерах в такой забавной задачке, (особенно таким глуповатым неумёхам, как я), но в примере n=2 и k=1 "развернуться негде". Хотя бы n=3, k=2?
Возьмём для примера n=2 и k=1 простейшего варианта задачи. В таком случае правильный ответ 3/4 (из 16 пар только в 4-х не будет совпадений: 00,11 11,00 10,01 01,10). Формула срабатывает?