Равносильные преобразования(СДНФ)

[mkot]

pointXY писал(а):

XZ'(Y v Y') v YZ'X v X'Y'(Z v Z') v X'Z(Y v Y') ~
~ XZ'Y v XZ'Y' v YZ'X v X'Y'Z v X'Y'Z' v XZ'Y v X'ZY'

ОЧЕНЬ внимательно посмотрите на предпоследнее слагаемое.

[pointXY]

Да о5 ошибся, в тетради правильно написал а тут не углядел
X'ZY v X'ZY' Спасибо.
Скажите пож-ста формулу для СКНФ

[mkot]

В каком смысле формулу?

[pointXY]

для СДНФ: X~X(Y v Y')
Если пойти от обратного то выходит: X~(X v Y)(X v Y')
Верно?

[mkot]

pointXY писал(а):

для СДНФ: X~X(Y v Y')
Если пойти от обратного то выходит: X~(X v Y)(X v Y')
Верно?

Верно, хотя формуле $x \sim x(y \vee y')$ будет соответствовать формула
$x \sim x \vee yy'$, из которой, воспользовавшись дистрибутивностью, вы и получите
формулу, которую вы написали.

[pointXY]

Спасибо за помощ