Решение одгой системы уравнений в булевских переменных Метод Отображений и техника таблиц перекрестных ссылок

Толчком для демонстрации гибкости МО в сочетании техникой перекрестных ссылок для двух или трехместных предикатов образующих саму систему послужили некоторые системы из числа последних, пополнивших ege23.doc. Здесь совершенно все равно какая логическая операция связывает предикаты уравнения . Мощности попарного пересечения множеств истинности и ложности каждого из двух предикатов, образуюших систему однозначно определяют саму таблицу перекрестных ссылок. Количество переменных от  которых зависит предикат ( от 2 до 4 ) также не приводит к необходимости писать код для алгоритма МО.

Оригинальная система

((x1=>x2)=>x3) v ((x4≡x5)≡x6)≡1
((x4=>x5)=>x6) v ((x7≡x8)≡x9)≡1
((x7=>x8)=>x9) v ((x10≡x11)≡x12)≡1

Генерация матрицы

    Контроль

  

Решение задачи #T4834 Яндекс Репетитор Методом Отображений 10.2019

Оригинальная система

Эквивалентная система

(x1=>y1)^(x1⊕x2)=1
(x2=>y2)^(x2⊕x3)=1
(x3=>y3)^(x3⊕x4)=1
. . . . . .
(x8=>y8)^(x8⊕x9)=1
x9=>y9=1

Генерация диаграммы

Решение задачи #T29796 Яндекс Репетитор Методом Отображений с использованием таблицы перекрестных ссылок

Оригинальное уравнение

 Генерация диаграммы. В действительности, для любой пары двуместных предикатов с той же таблицей перекрестных ссылок результат будет тем же самым.

Chains of tie nodes of a multi-part graph && reverse pass to center per Helen Mironchick's "MAPPING METHOD - VISIBLE PART OF ICEBERG " - Computer science at school №10 2019

Original system

System 1

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

For X-LINE

#2 is (x1^x2)
#3 is (x1^x2)=>x3
#4 is ((x1^x2)=>x3)^x4
#5 is (((x1^x2)=>x3)^x4)=>x5

For Y-LINE and Z-LINE replace x by y and x by z correspondingly

*******************
Chaining order
*******************
1) We get x3 via reverse pass to center
2) Getting y3 via reverse pass to center
3) Getting z4  via reverse pass to center

System 2

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

For X-LINE

#2 is (x1^x2)
#3 is (x1^x2)=>x3
#4 is ((x1^x2)=>x3)^x4
#5 is (((x1^x2)=>x3)^x4)=>x5

For Y-LINE and Z-LINE replace x by y and x by z correspondingly

*******************
Chaining order
*******************
1) We get x3 via reverse pass to center
2) Getting y3 via direct XOR
3) Getting y4  via reverse pass to center
    Here we calculate y1^y2=>y3 (#3) Y-LINE.
    Perform move from y5 to #4 in the opposite direction.
    Now calculate y4 as usual.
4) Getting z4 via direct XOR
5) Completing Z-LINE having z4  (on line-0 112 , on line-1-200)

Метод обратного прохода по графу (ИВШ №10 2019 техника Е.А. Мирончик) и решение задачи 23 Информатиком БУ Стрим #60 2020

"Не стреляйте в пианиста - он играет, как умеет"
                                                                                  Оскар Уайльд
В оригинале звучит
Please do not shoot the pianist. He is doing his best.


Смотри :-
https://www.youtube.com/watch?v=oQKx0kc0TrQ (1 час 55 мин)
Последний линк может изменится при сохранении на ютуб через 24 часа и более . Если это произойдет то актуальный линк будет в  "UPDATE"

    Решение методом обратного прогона