Форум » Логические уравнения » Сколько решений имеет следующая система булевских уравнений ? » Ответить
Сколько решений имеет следующая система булевских уравнений ?
dbaxps: ((x1≡x2)≡x3)=>(x1⊕x4)^((x2≡x3)≡x4)=1 ((x4≡x5)≡x6)=>(x4⊕x7)^((x5≡x6)≡x7)=1 ((x7≡x8)≡x9)=>(x7⊕x10)^((x8≡x9)≡x10)=1
Ответов - 2
dbaxps: Здесь нет пар перехода , а есть переменные перехода. Классически простое описание этого подхода ( возможно несколько упрощенное ) можно найти в http://kpolyakov.spb.ru/download/mea-2016-8.pdf Пример проще по форме , но не по сути Эквивалентная система (x1≡x2) => (x1⊕x3)^(x2≡x3) =1 (x3≡x4) => (x3⊕x5)^(x4≡x5) =1 (x5≡x6) => (x5⊕x7)^(x6≡x7) =1 (x7≡x8) => (x7⊕x9)^(x8≡x9) =1 Решение Чтобы эффективно применить МО нужно прежде всего понять как связаны уравнения, а не применять пары как безальтернативное решение. Лучший пример решение Р45 и Р46 ( в последнем я просто следовал Елене Александровне на примере Р45).
MEA: Добавлю еще один вариант системы, в которой нет необходимости в парах. ((x1*x2)->x3)->x4*x5=1 ((x4*x5)->x6)->x7*x8=1 ((x7*x8)->x9)->x10*x11=1 При решении будут "кратные" узлы (по первому уравнению): x1*x2=0 и x1*x2=1 и переходы на промежуточный результат (x1*x2)->x3.
полная версия страницы