Форум » Логические уравнения » [B15] Яндекс 1 » Ответить

[B15] Яндекс 1

1ро4ка_двадва88: (x1->x2) /\ (x2->x3) /\ (x3->x4) /\ (x4->x5 ) = 1 (y1->y2) /\ (y2->y3) /\ (y3->y4) /\ (y4->y5 ) = 1 x1\/y1 =1 Первые два уравнения идентичны, решениями будут последовательности 00000 00001 00011 00111 01111 11111, следовательно на данном этапе у нас 12 решений Теперь отсеим лишнее, используя третье уравнение системы. Логическое сложение истинно только в том случае, если истинно одно из слагаемых. С последним шагом я затрудняюсь завершить. Подскажите?

Ответов - 2

oval: 1ро4ка_двадва88 пишет: следовательно на данном этапе у нас 12 решений не 12, а 36 решений, каждому решению в x соответствует 6 решений в y рассмотрим последнее уравнение: решению в х , где х1=0, т.е первые 5 строчек соответствует только 1 решение в у, где у1 = 1, итого всего 5 решений последнему решению в х (11111) соответствует 6 решений в у итого 11 решений

1ро4ка_двадва88: Точно! Спасибо



полная версия страницы