Page 117 - 4196

матриця  R ij повинна перевести набір булевих функцій

F 1  ,A B  A , F 2  ,A B  B , заданий в базисі  ,Ab  B :
 F#  A#  0101
  F ki  1
 # F 2  B#  0011

в набір функцій G 1  ,A B  A  ,A B  B   A   B,
 A  

G  ,A B  B  ,A B   B :
 B в базисі  ,Ab
2
 G# #   BA    A    B  1001
 G kj  1
 # G 2 #  B  0011 .
Тобто матриця перетворення  R ij повинна задовольняти
рівнянню:
i  0123 j  1023
 0101  1001
    R   , 
  ij  
 0011   0011 
0
де стовпець із номером i  переводиться у стовпець із
номером j  1, стовпець i  1 переводиться в стовпець
2
2
j  0, стовпець i  переводиться в стовпець j  , стов-
пець i  переводиться в стовпець j  . Якщо в матриці
3
3
 R ij елементи із позначеними індексами ,i j прийняти
рівними 1, а інші – рівними 0, то матриця  R ij буде мати
вигляд:
0100 
 
 1000 
  R ij   , (4.72)
 0010 
 
 0001 
яка задає пересування стовпців наступним чином

117