Автор | Сообщение |
|
Отправлено: 25.05.19 10:58. Заголовок: №23, 127
Помогите разобраться, пожалуйста! Пытаюсь найти общее количество решений (3 * 5 * 11 = 165) и вычесть те, при которых последнее уравнение неверно, но ответ не совпадает.
|
|
|
Новых ответов нет
[см. все]
|
|
|
| постоянный участник
|
Сообщение: 223
|
|
Отправлено: 25.05.19 13:16. Заголовок: Подробное описание д..
|
|
|
|
Отправлено: 28.05.19 09:59. Заголовок: Спасибо, теперь реши..
Спасибо, теперь решила!
|
|
|
|
Отправлено: 20.07.19 16:20. Заголовок: MEA, (x1 \/ not(..
MEA, (x1 \/ not(x2)) /\ (x3 \/ not(x4)) = 1 (x3 \/ not(x4)) /\ (x5 \/ not(x6)) = 1... Скажите, пожалуйста, как из этих двух строк "вытянуть" пары логических переменных? Я так сгруппировал их: x1x2 x3x4.
|
|
|
|
| постоянный участник
|
Сообщение: 230
|
|
Отправлено: 21.07.19 18:03. Заголовок: (x1 \/ not(x2)) ..
(x1 \/ not(x2)) /\ (x3 \/ not(x4)) = 1 (x3 \/ not(x4)) /\ (x5 \/ not(x6)) = 1. А зачем тут пары? Совсем не обязательно только парами решать. Система тождественна: (x1 \/ not(x2))=1 (x3 \/ not(x4)) = 1 (x5 \/ not(x6))=1 Знаем x1 - узнаем x2; Если строго по графу пойти, то переход с x2 в любое x3, потом от x3 в x4 по уравнению... Конечно, получим тот же ответ, как и количество решений (x1 \/ not(x2))=1 - 3 решения умножить на 3 решения (x3 \/ not(x4)) = 1 и на 3 решения (x5 \/ not(x6))=1
|
|
|
|