Page 115 - 4196
P. 115

i
                           0       2        4       5       7
                  #  X    01       1       01       1       00

                  #  Y    11       0       11       1       01
                    j     23       1       23       3       02

           Таким  чином,  існує  8  розв’язків  системи  булевих  рів-
           нянь,  які  відповідають  різним  комбінаціям  істинності
           коефіцієнтів  ,A  , B  C .

                 Перетворення логічних змінних
                 1 Заміна змінних
                 Якщо  A  ,  , B  C   -  елементарні  незалежні  висловлю-
           вання                                                      і
            A   A   ,A  B , C ,...  B,    B  ,A   B , C ,...  C,    C   ,A   B , C ,... 
           , де  ,A  B ,  C ,... - нові незалежні змінні, то існують одно-
           значні  перетворення  елементів  A    ,  , B  C ,...  в  елементи
             , A   B ,  C ,...  і  навпаки.  Наприклад,  розглянемо  перетво-
           рення
                             A   A    B    A    B
                                                                 (4.71)
                             B   B ,
           де  A#     0101 ,  #   0011. Знайдемо подання елементів
                             B 
            A  і  B в базисі   ,Ab   B :
                                         
                                  #  A    B   1001
                                         
                                  # A    B   0001
                                  #  A      1001
                                        B 
                                 # B   #   0011
                                       E 10    1023


                                       115
   110   111   112   113   114   115   116   117   118   119   120