Упрощение уравнения математической логики?

Question

[mIka01]

Здраствуйте, понимаю что вопрос так себе однако помогите упростить цифровое уравнение.
¬ (x ˅ y) → ¬ (x → y ) ˅ y
Мне сказал преподаватель что я делаю упрощение не правильно, однако как правильно он не сказал. Хочу посмотреть на образец правильного упрощения.

p.s. это не моё уравнение, а образец из учебника.

Comments

[ambisinister One]

Если преподаватель сказал, чтобы Вы сами попробовали, так пробуйте сами, а не спрашивайте готовый ответ)

[mIka01]

Мой вариант был такой, однако он не правильный. Я хз почему. Мне дали другой вариант. Я это написал в p.s. однако я не могу понять что не верно у меня в решении. Поэтому и задал вопрос с целью докопаться до истины.

P.S. Мне не говорили званого попробовать, мне просто дали другое уравнение.

Answer 1

[Alexandroppolus]

Справа от стрелки надобно преобразовывать так

¬ (x → y )
¬ (¬x ˅ y )
(x & ¬y) ˅ y
(x ˅ y) & (¬y ˅ y)
(x ˅ y) & 1
x ˅ y

итого
¬ (x ˅ y) → x ˅ y

(x ˅ y) ˅ (x ˅ y)

x ˅ y

то есть результат верный, но в правой части у тебя какая-то хрень была