Итак, для начала вспомним, что:

1) Нечётное * нечётное = Нечётное,

2) Нечётное * чётное = Чётное,

3) Чётное * чётное = Чётное.

Рассмотрим первый пример:

Если произведение C * D будет давать остаток 0 при делении на 2 (С * D % 2 == 0) то хотя бы одно из них чётно. Возьмём значения 3 и 7 для примера (3 * 7 % 2== 0) такое равенство не верно, а числа оба нечётные, значит первое не пойдёт.

Рассмотрим второй пример:

Это копия первого, но со значением 1 при делении на два. Если возьмём значения 7 * 9 то получим 63, 63 % 2 == 1, значение верно.

Если же мы возьмём и продолжим тестировать с одним или двумя чётными числами то равенство не будет верным. К примеру 6 и 3, 6 * 3 = 18, 18 % 2 == 0 а не 1. Значит второе нам подходит.

Рассмотрим третий пример:

Да бы не затягивать просто возьмём что C = нечётное а D = чётное.

Так как при добавлении 1 к числу его чётность меняется, то теперь C = чётное а D = нечётное. Нечётное * чётное = чётное. Чётное число % 2 = 0. К примеру 6 % 2 == 0. из чего делаем вывод, что равенство соблюдается, но одно число чётное, а другое нет. Значит формула не подходит.

Рассмотрим четвёртый пример:

Возьмём два нечётных числа C = нечётное и D = нечётное. Опять же, после прибавления единицы к числу их чётность меняется => теперь С = чётное и D = чётное. И как мы ранее знаем чётное * чётное = чётное, но если мы у какого - либо чётного (2, 4, 6, 8 и так далее)  посмотрим его остаток при делении на два, то он не будет равен 1. Значит формула не подходит.

И наконец рассмотрим пятый пример:

Возьмём C = 2 И D = 4.

2 % 4 % 2 == 0. 2 % 4 = 2. Значит теперь наш пример выглядит так: 2 % 2 == 0 и да это правда, остаток деления двух на два равен нулю, но не забываем, что мы взяли оба чётных числа, а так как нам по условию требуется найти формулу для выявления ТОЛЬКО нечётных то нам не подходит пятая формула.

Ответ: подходит 2 формула!

Надеюсь помог :)