Page 119 - 4196

T
0100  0100 
   
T  1000   1000 
     RR ji ij     
 0010   0010 
   
 0001   0001 
Тоді обернене перетворення в загальному випадку дорів-
нює
    FRG kj  ji  ki ,
або у двійковій формі для перетворення (4.72а)
0100 
 
0101   1000  1001   A#   A , B 
       
     
 0011  0010  0011   # B   A , B .
 
 
 0001 
В результаті отримаємо наступне обернене перетворення
A  ,A B  A  B  A  B

B  ,A B  B .

Скорочений логічний базис
Широке коло логічних задач спрямовані на устано-
влення логічних зв’язків між двома групами логічних
змінних A 1 ,..., A n  і K 1 ,..., K m . Множина посилань
 A і елементів висновків  K утворюють повний логі-
i
j
чний базис
в A 1 ,..., A n ; K 1 ,..., K m ,
який може містити значну кількість стовпців. Наприклад,
20
якщо n  m  20, то повний базис містить 2  1048576
стовпців. Операції із матрицями такої розмірності
пов’язані із значними труднощами. В цьому випадку іс-
нує можливість побудови скороченого логічного базису,
який базується на використанні апріорних зв’язків між
логічними змінними виду
119