СДНФ

[sys_adm]

Найти СДНФ булевой функции \( f(x,y)= ( x \downarrow y) \to x \). Помогите. Заранее спасибо.

[Admin]

\( f(x,y)=(x \vee y)' \to x=(x \vee y)'' \vee x= x \vee y \vee x=  x \vee y = (x \cdot 1) \vee ( y \cdot 1) = (x \cdot (y \vee y') \vee (y \cdot ( x \vee x')= \)

\( =(xy) \vee (xy') \vee \ (xy) \vee (x'y)=(xy) \vee (xy') \vee (x'y) \)

[sys_adm]

Спасибо!