Форум » Логические уравнения » №23, 127 » Ответить
№23, 127
ahor_mi: Помогите разобраться, пожалуйста! Пытаюсь найти общее количество решений (3 * 5 * 11 = 165) и вычесть те, при которых последнее уравнение неверно, но ответ не совпадает.
Ответов - 4
MEA: Подробное описание двух способов решения https://vk.com/club180658320?w=wall-180658320_1%2Fall
ahor_mi: Спасибо, теперь решила!
Wally: MEA, (x1 \/ not(x2)) /\ (x3 \/ not(x4)) = 1 (x3 \/ not(x4)) /\ (x5 \/ not(x6)) = 1... Скажите, пожалуйста, как из этих двух строк "вытянуть" пары логических переменных? Я так сгруппировал их: x1x2 x3x4.
MEA: (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
полная версия страницы