Форум » Логические уравнения » B15 как определить закономерность? » Ответить
B15 как определить закономерность?
PavelG: Задание Не получается зафиксировать закономерность в виде формул, а строить дерево до конца долго. Что делать?
Ответов - 7
Поляков: PavelG пишет: Не получается зафиксировать закономерность в виде формул, а строить дерево до конца долго. Что делать? Решение разобрано здесь (с. 4-6). Довольно хитрая задача. Ответ - 73.
cska_fan: + подскажите как решать данное задание: пробовал решать, строя дерево, но закономерности не нашёл... пробовал вводить замены X1+X2 = Y1; X3+X4 = Y2 и т.д. получается, что Y1*(-Y2) = 0 Y2*(-Y3) = 0 Y3*(-Y4) = 0 Y4*(-Y5) = 0 Но вот дальше затрудняюсь, а точнее не понимаю как рассуждать... ( получается, что система с Y имеет 6 решений(строил для них дерево), а т.к. каждому Y соответствует 2X , то 6 * 2^5 = 192, но верный ответ 16(
Поляков: cska_fan пишет: + подскажите как решать данное задание пробовал решать, строя дерево, но закономерности не нашёл... Подстановка здесь не проходит, вы сделали замену неверно, потому что, например, ¬Y1 = X1*X2. Тут нужно решать последовательным подключением уравнений. Первое уравнение верно, когда хотя бы один из сомножителей равен 0. Пусть X1=X2=0, тогда первая скобка = 0. Тогда X3 и X4 - произвольные (4 решения). Для всех остальных пар (X1,X2) вторая скобка должна быть равна 0, поэтому сразу X3=X4=1. Теперь подключаем второе уравнение. Если последние две переменные, которые были в предыдущем уравнении, равны нулю, то первая скобка - 0, поэтому новые две переменные могут быть любыми. То есть, вместо одного решения получили 4 - увеличение на 3. Если хотя бы одна из последних двух переменных = 1, то первая скобка нового уравнения = 1, поэтому сразу имеем единственный вариант - обе новые переменные должны быть равны 1. Здесь никакого изменения нет. Таким образом, первое уравнение дает 7 решений, каждое следующее добавляет 3. Ответ - 16.
cska_fan: Большое спасибо!) Разобрался
ivany4: подскажите пожалуйста, правильно ли решена задача : (x1->x2)*(x2->x3)*(x3->x4)*(x4->x5)*(x5->x6)=1 (x1->!y1)*(x2->!y2)*(x3->!y3)*(x4->!y4)*(x5->!y5)*(x6->!y6)=1 ! - логическое отрицание ответ : 127
Поляков: ivany4 пишет: подскажите пожалуйста, правильно ли решена задача : Проверьте по программе.
ivany4: спасибо, проверил)
полная версия страницы