Форум » Логические выражения » помогите решить систему » Ответить
помогите решить систему
Lavanda: (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. Что неправильно?(
Ответов - 4
Поляков: Lavanda пишет: Что неправильно?( Неправильно сделано замыкание по последнему уравнению.
Lavanda: А как правильно?
Lavanda: Пробовала по уточненному закону просчитывать в расчетной таблице второй и последний столбец (остальные столбцы считала по неуточненному закону), тогда 195 в ответе. Получается тогда методом отображения нельзя решить....(
MEA: В этой системе первое, что мне пришло на ум повторить часть рассуждений 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 Не исключено, что есть решение лучше, но т.к. вычисления в столбиках местами повторяют друг-друга, то чуток проще, правда в "рекомендуемое время" я не уложилась. И думаю, что не уложусь, решая другим способом. Печалька!
полная версия страницы