Форум » Логические уравнения » Помогите с решением В15. » Ответить
Помогите с решением В15.
new1: (x1 <-> x2) ^ не (x3 <-> x4) =0 (x3 <-> x4) ^ не (x5 <-> x6) =0 (x5 <-> x6) ^ не (x7 <-> x8) =0 (x7 <-> x8) ^ не (x9 <-> x10) =0 "<->" - операция эквивалентности, "^" - логическое умножение,"не" - логическое отрицание.
Ответов - 6
ДубинкинаТ: Попробуйте для начала записать одно решение, подставив вместо Х1 и Х2 например 1. И увидеть закономерность.
Василева: ДубинкинаТ пишет: для начала записать одно решение Я думаю, лучше ввести переменные новые: первая скобка y1, вторая скобка y2 и т. д. Тогда система перепишется в более легкую и, получив ее решение, можно будет перейти к решению в исходных переменных...
oval: Василева пишет: можно будет перейти к решению в исходных переменных... если знать как это делать правильно :) А можно воспользоваться Методом отображений для решения систем логических уравнений , так вообще считается влет :)
MEA: Интересно бы узнать как для этой системы предполагается применить метод отображений? Сначала подстановка :)
oval: MEA пишет: Интересно бы узнать как для этой системы предполагается применить метод отображений? Сначала подстановка :) Какая подстановка? F3,4(00)=F1,2(00)+F1,2(01)+F1,2(10)+F1,2(11) F3,4(01)=F1,2(01)+F1,2(10) F3,4(10)=F1,2(01)+F1,2(10) F3,4(11)=F1,2(00)+F1,2(01)+F1,2(10)+F1,2(11) итого для 1ого уравнения 12 решений, по этим же формулам, для 1 и 2ого -32 решения, для трех 80, и в системе 192
MEA: Никогда не догадывалась для подобного случая применять метод отображения. Спасибо. Правда, от стрелок (я привыкла рисовать стрелки, а не записывать формулы) в глазах рябит :) Записала решение на бумаге двумя способами и подстановкой и по методу отображений. Вычислений (арифметики) оказалось меньше в подстановке и решение короче. Но все-равно спасибо. Попробую, другие системы...
полная версия страницы