Рассмотрим y⊕¬z Это сложение по модулю 2 или операция XOR y и ¬z. Эта операция равно единице тогда, когда одна из переменных равно 1, а другая 0. Т.е. либо y = 0 и ¬z = 1 либо ¬z = 0 и y = 1. Рассмотрев первое уравнение имеем, что представляет из себя дизнъюкцию двух выражение ¬x и y*z и дизнъюкция будет равна нулю тогда, когда оба выражения имеют 0, т.е ¬x = 0 и y*z = 0, откуда x = 1. Тогда из y*z = 0 и y = 0 и ¬z = 1 либо ¬z = 0 и y = 1, следует, что y = 0 и z = 0 (условие ¬z = 0 и y = 1 иначе бы z = 1 и y = 1 откуда yz = 1).
x = 1
z = 0
y = 0
1 votes Thanks 1
krnl
уравнение то чего-то легкое совсем, но дошёл до рассмотрения дизъюнкции равной нуля благодаря вам)
Answers & Comments
Ответ:
Рассмотрим y⊕¬z Это сложение по модулю 2 или операция XOR y и ¬z. Эта операция равно единице тогда, когда одна из переменных равно 1, а другая 0. Т.е. либо y = 0 и ¬z = 1 либо ¬z = 0 и y = 1. Рассмотрев первое уравнение имеем, что представляет из себя дизнъюкцию двух выражение ¬x и y*z и дизнъюкция будет равна нулю тогда, когда оба выражения имеют 0, т.е ¬x = 0 и y*z = 0, откуда x = 1. Тогда из y*z = 0 и y = 0 и ¬z = 1 либо ¬z = 0 и y = 1, следует, что y = 0 и z = 0 (условие ¬z = 0 и y = 1 иначе бы z = 1 и y = 1 откуда yz = 1).
x = 1
z = 0
y = 0