Толчком для демонстрации гибкости МО в сочетании техникой перекрестных ссылок для двух или трехместных предикатов образующих саму систему послужили некоторые системы из числа последних, пополнивших 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
Генерация матрицы
Контроль
Оригинальная система
Эквивалентная система
(x1=>y1)^(x1⊕x2)=1
(x2=>y2)^(x2⊕x3)=1
(x3=>y3)^(x3⊕x4)=1
. . . . . .
(x8=>y8)^(x8⊕x9)=1
x9=>y9=1
Генерация диаграммы
Оригинальное уравнение
Генерация диаграммы. В действительности, для любой пары двуместных предикатов с той же таблицей перекрестных ссылок результат будет тем же самым.
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)
