Чтобы F было истинно (1), то все 3 условия должны быть истинны.
примечание: x->y=-x+y
строка 1 - Так как "y тожжественно не z" то z и y всегда должны отличаться чтобы условие было истинно, следователь переменная 3 это z.
строка 2 - Так как переменная 3 равна 1 и y не тождественно z то переменная два не может быть z, значит y это либо 1 либо 4, так как -x+y, а значит переменная 1 и 4 равны 0, то мы можем сделать вывод, что переменная 2 это w
строка 3 - рассмотрим все оставшиеся варианты
1 0 0 0 - отпадает по условию z + w
1 0 0 1 - отпадает по условию z + w
1 0 1 0 - отпадает по условию -x+y и y тожд -z
1 0 1 1 - отпадает по условию y тожд -z
1 1 0 0 - подходит по всем условиям
1 1 1 1 - отпадает по условию y тожд -z
1 1 0 0 значит переменная 4 это x, а переменная 1 это y
DlowPro
Блин извинииии, я в решении написал все верно (посмотри пред последнюю строку объяснения, я там написал 1 это y 4 это x) а в ответе написал по другому ... Извини, мой косяк
Answers & Comments
Ответ:
xwzy
Объяснение:
Чтобы F было истинно (1), то все 3 условия должны быть истинны.
примечание: x->y=-x+y
строка 1 - Так как "y тожжественно не z" то z и y всегда должны отличаться чтобы условие было истинно, следователь переменная 3 это z.
строка 2 - Так как переменная 3 равна 1 и y не тождественно z то переменная два не может быть z, значит y это либо 1 либо 4, так как -x+y, а значит переменная 1 и 4 равны 0, то мы можем сделать вывод, что переменная 2 это w
строка 3 - рассмотрим все оставшиеся варианты
1 0 0 0 - отпадает по условию z + w
1 0 0 1 - отпадает по условию z + w
1 0 1 0 - отпадает по условию -x+y и y тожд -z
1 0 1 1 - отпадает по условию y тожд -z
1 1 0 0 - подходит по всем условиям
1 1 1 1 - отпадает по условию y тожд -z
1 1 0 0 значит переменная 4 это x, а переменная 1 это y
xwzy