Равносильность

[Di081]

$$f=xy\overline{z}\vee x\overline{y}z$
$g=x(y \oplus z)$
Нужно проверить на равносильность.. Преобразовла вторую формула вот что получилось
$g=x(y \oplus z) \equiv x(\overline{(y\leftrightarrow z)}\equiv x(\overline{(y\rightarrow z)(z \rightarrow y)} \equiv x \overline{(\overline{y} \vee z)(\overline{z} \vee y)} \equiv x \overline{\overline{y}z \vee z y} \equiv 0 $

[arseniiv]

Нет, ноль получиться не может. Поторопилась!

Вот:
$g = x (y \oplus z) \equiv x \overline{(y \leftrightarrow z)}\equiv x \overline{(y \rightarrow z)(z \rightarrow y)} \equiv $
$\equiv x \overline{(\overline y \vee z)(\overline z \vee y)} \equiv x (\overline{(\overline y \vee z)} \vee \overline{(\overline z \vee y)}) \equiv x (y \overline z \vee z \overline y) \equiv$
$\equiv x y \overline z \vee x \overline y z$.

Вот мы даже и к $f$ пришли!

[Di081]

Блин))) золотой ВЫ человек))))))))))) пасибо оргомное

[arseniiv]

(Оффтоп)

Да, мне уже надо курсовую делать.

[Di081]

Удачки)