4. Объединение мса

Количество совпадающих элементов в матрицах представлено на рисунке 7.

Рисунок 7

Назначим определяющие конъюнкции алгоритмов. Данное действие представлено на рисунке 8.

R0=r1¬ r2

R1=¬r1¬r2

R2=¬r1r2

R3=r1r2

Рисунок 8

Составим определяющие функции операторов. Данное действие представлено на рисунке 9.

β₀¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₀²=¬r1r2 V (r1¬r2)/0=¬r1r2

β₀³=r1r2 V (r1¬r2)/0=r1(r2/1)

β₁¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₁²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₁³= r1r2 V (r1¬r2)/0= r1(r2/1)

β₂¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₂²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₂³= r1r2 V (r1¬r2)/0= r1(r2/1)

β₃¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₃²=¬r1r2 V (r1¬r2)/0=¬r1r2

β₃³= r1r2 V (r1¬r2)/0= r1(r2/1)

β₄¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₄²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₄³= r1r2 V (r1¬r2)/0= r1(r2/1)

β₅¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₅²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₅³= r1r2 V (r1¬r2)/0= r1(r2/1)

β₆¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₆²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₆³= r1r2 V (r1¬r2)/0= r1(r2/1)

β₇¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₇²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₇³= r1r2 V (r1¬r2)/0= r1(r2/1)

β₈¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₈²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₈³= r1r2 V (r1¬r2)/0= r1(r2/1)

β ₉¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₉²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₉³= r1r2 V (r1¬r2)/0= r1(r2/1)

β₁₀¹= ¬r1¬r2 V (r1¬r2)/0=(¬r1/1) ¬r2

β₁₀²= ¬r1r2 V (r1¬r2)/0=¬r1r2

β₁₀³= r1r2 V (r1¬r2)/0= r1(r2/1)

Рисунок 9

Составим общую матричную схему алгоритма (Таблица 4)

(¬r1/1) ¬r2 ¬r1r2 r1(r2/1)

Таблица 4

	A1	A2	A3	A4	A5	A6	A7	A8	A9	A10	Ak
A0	0	0	0	0	0	0	0	¬r1r2	r1(r2/1)	0	0
A1	0	0	0	0	-P4¬r1r2	P4¬r1r2	0	(¬r1/1) ¬r2	0	0	r1(r2/1)
A2	0	0	r1(r2/1)	0	0	(¬r1/1) ¬r2	¬r1r2	0	0	0	0
A3	0	¬r1r2	0	- P2 P3 r1(r2/1)	0	0	-p3(¬r1/1) ¬r2 v - P2 - P3 r1(r2/1)	P2 - P6 r1(r2/1)	p3(¬r1/1) ¬r2	0	P2 P6 r1(r2/1)
A4	-P4(¬r1/1) ¬r2	0	0	0	0	¬r1r2	0	P4(¬r1/1) ¬r2	0	r1(r2/1)	0
A5	0	0	0	P3 r1(r2/1)	0	0	(¬r1/1) ¬r2 v - P3 r1(r2/1)	0	0	0	¬r1r2
A6	0	r1(r2/1)	0	(¬r1/1) ¬r2	0	0	0	0	0	¬r1r2	0
A7	P7¬r1r2 v r1(r2/1)	0	0	0	-P7 -P4¬r1r2	-P7 P4¬r1r2	0	0	0	0	(¬r1/1) ¬r2
A8	0	0	(¬r1/1) ¬r2	0	r1(r2/1)	0	0	0	-P5P6¬r1r2 v -P5-P6-P5P6¬r1r2	P5¬r1r2 v - P5 -P6 P5¬r1r2	0
A9	-P3r1(r2/1)	0	P3P1-P2r1(r2/1)	-P4-P5¬r1r2 v P3P1P2r1r1(r2/1)	P6 P1(¬r1/1) ¬r2 v –P6 P1(¬r1/1) ¬r2	0	P6 –P1 –P3(¬r1/1) ¬r2 v - P6 –P1 –P3(¬r1/1) ¬r2	P4¬r1r2	P6 –P1 P3(¬r1/1) ¬r2 v -P6–P1 P3(¬r1/1) ¬r2	-P4P5¬r1r2 v P3­-P1 r1(r2/1)	0
A10	P7-P1¬r1r2	P7-P5P2(¬r1/1) ¬r2 v –P7(¬r1/1) ¬r2	r1(r2/1)	P7-P5-P2(¬r1/1) ¬r2 v -P7-P4-P5¬r1r2	0	P7P1¬r1r2	P7P5-P3(¬r1/1) ¬r2	-P7P4¬r1r2	P7P5P3(¬r1/1) ¬r2	-P7-P4 P5¬r1r2	0