Отправлено: 29.11.19 15:10. Заголовок: Цепочки связующих узлов многодольного графа и метод обратного прогона по Елене А. Мирончик

Сколько решений имеет система ?
(x1^x2=>x3)^x4=>x5=1
(y1^y2=>y3)^y4=>y5=1
(z1^z2 =>z3)^z4=>z5=1
(x3⊕y3)^(y4⊕z4)=1

 Отправлено: 29.11.19 20:52. Заголовок: В принципе все не так уж плохо

1. Посмотреть http://kpolyakov.spb.ru/download/mea-2016-8.pdf
2. Посмотреть https://vk.com/doc6125348_500213701?hash=45e740c9fc41ca6cc3&dl=591adba71d2f079bbd
3. Посмотреть https://vk.com/doc6125348_500219375?hash=98bd7718a258b37a51&dl=7cbbc2f9e20b7f5178
Все три примера достаточно прозрачны и просты для понимания.
Дальше не очень трудно сделать



Другой пример

((((x1 =>x2) =>x3) =>x4) =>x5) =>x6=1
((((y1 =>y2) =>y3) =>y4) =>y5) =>y6=1
((((z1 =>z2) =>z3) =>z4) =>z5) =>z6=1
(x3 =>y3)^(y4=>z4)=1


На мой взгляд Битовые Цепочки - это своего рода интеллектуальная зависимость. Я отдаю себе отчет в том по факту мы имеем дело с более высоким уровнем абстракции, причем в области чистой математики. Алгебра Логики && Алгебра Предикатов && Теория графов. Читается в 1-2-ом семестре любого факультета типа МехМат,ВМК,ФУПМ на всей территории РФ. Читается также на ИВТ специальностях технических Вузов , но не всегда достаточно профессионально.