Форум » Логические уравнения » Задание 23 Р-46 » Ответить
Задание 23 Р-46
морозова: В пункте 6 получили уравнение (x1≠x2)(¬x1≠x4)(x5≠x6)(x7≠¬x4)(x9≠x10)(x11+¬x2)=1 Первая, третья, пятая скобки дают по 2 решения, последняя-3, остальные по 1. Общее количество решений 2*2*2*3=24. (В параграфе - 12, почему то не учли 2 решения из первой скобки) Пробовала построить дерево - тоже получила 24. Что я не учла?
Ответов - 1
MEA: Перестановка в конъюнкции ничего не меняет, кроме того, что легче анализировать. Рекомендую разбить на три группы или все скобки рассматривать как систему. Но обращаем внимание на связность и независимость: Связная группа: (x7≠¬x4) (¬x1≠x4) (x1≠x2) (x11+¬x2) - 3 решения (одно при x2=1 и два при x2=0) (x5≠x6) - 2 решения (x9≠x10) - 2 решения. Рекомендую посмотреть решение Р-46 click here (решение Б.А. Державец) И похожий разбор другой системы P-45 (решение Мирончик )
полная версия страницы