Отправлено: 13.03.15 13:48. Заголовок: помогите решить систему

(x1 -> y1) * ((x2 + y2) -> (x1= y1)) = 1
(x2 -> y2) * ((x3 + y3) -> (x2 = y2)) = 1
...
(x6 -> y6) * ((x1 + y1) -> (x6 = y6)) = 1

Решаю методом отображений, как в блоке №23 в разборе задания на странице 23. Получается ответ 157, а должен быть 198.
Сначала по таблице истинности строим закон отображения x1,y1 в x2,y2, получаем:
00 отображается в 00, 01, 10, 11
01 в 00
10 в никуда
11 в 00, 01, 10, 11
Затем уточняем отображение с учетом последнего уравнения:
00 отображается в 00, 01, 11
01 в 00
10 в никуда
11 в 00 и 11.
Что неправильно?(

 Отправлено: 13.03.15 14:21. Заголовок: Lavanda пишет: Что н..

Lavanda пишет:

цитата:

Что неправильно?(

Неправильно сделано замыкание по последнему уравнению.

 Отправлено: 13.03.15 14:29. Заголовок: А как правильно?..

А как правильно?

 Отправлено: 13.03.15 15:10. Заголовок: Пробовала по уточнен..

Пробовала по уточненному закону просчитывать в расчетной таблице второй и последний столбец (остальные столбцы считала по неуточненному закону), тогда 195 в ответе. Получается тогда методом отображения нельзя решить....(

 Отправлено: 13.03.15 16:00. Заголовок: В этой системе перво..

В этой системе первое, что мне пришло на ум повторить часть рассуждений
Lavanda пишет:

цитата:

00 отображается в 00, 01, 10, 11 01 в 00 10 в никуда 11 в 00, 01, 10, 11

Далее построить три таблицы вычислений, используя это отображение, чередуя единицы в первом столбце
Начало с пары 00
00 1
01 0
10 0
11 0

В последнем столбце (x6y6) подходят числа соответствующие парам 00, 01, 11
41+29+29=99

Начало с пары 01
00 0
01 1
10 0
11 0

приведет к подходящим парам 00 и 11
17+12=29

Начало с пары 11
00 0
01 0
10 0
11 1
Подходящие пары те же 00 и 11
41+29=70
Ответ: 99+29+70=198

Не исключено, что есть решение лучше, но т.к. вычисления в столбиках местами повторяют друг-друга, то чуток проще, правда в "рекомендуемое время" я не уложилась.
И думаю, что не уложусь, решая другим способом. Печалька!