Дана булева функция \(x[(z \equiv y \oplus z) \to zy \downarrow y]\). Её минимальной ДНФ является: а) среди вариантов нет правильного ответа; б) \(xy\); в) \(xy \vee \overline{x}y\); г) \(\overline{y}\); д) \(xy \vee \overline{x}\overline{y}\).

Используем равносильность: \(z \equiv (y \oplus z) = \overline{y}\). Тогда выражение в скобках:

\(\overline{y} \to (zy \downarrow y)\).

Так как \(zy \downarrow y=\overline{zy\vee y}=\overline{y}\), получаем:

\(\overline{y}\to\overline{y}=1\).

Следовательно, функция равна \(x\). Среди предложенных вариантов выражения \(x\) нет.

Ответ: а) среди вариантов нет правильного ответа.