Page 103 - 4196
P. 103

3  2  0  1
                              # A   B   A   B  1  0  0 1

                                         #  B   1100 ,
           де стовпці утворюють числа 0, 1, 2, 3.
                 Для      іншого      прикладу      булеві     функції
            F   A   B   A   B  F,  2    , B  F   A   B   A   B    логічне
                                         3
             1
           залежні, оскільки для них
                                               6  3  4 1
                              # A  B   A   B  1  0 0 1
                                         # B   1100
                              # A   B   A   B  0110  ,
           де стовпці утворюють числа 1, 3, 4, 6.

                 Булеві матриці
                 Прямокутна матриця називається булевою, якщо її
           елементами являються числа 0 і 1.
                 Добуток  булевих  матриць  аналогічний  добутку
           звичайних  матриць  з  тією  різницею,  що  виконуються
           операції логічного додавання і логічного множення:
                                    C   A  B,
           де  c    a ik  b   kj  ,       b,a,c ij  ik  kj   - елементи матриць.
                ij
                    k
                 Наприклад,
                               01          101 
                                    111     
                                10              111  .
                                     101     
                                11          111 
                 Операція  імплікації     ba ij    ij    справедлива  для
           булевих матриць  A  і  B однієї розмірності, якщо немає
           таких i  та  j, що b   і  a   1.
                                  0
                              ij
                                       ij
                 Транспонованою  матрицею  по  відношенню  до  A
                                    T
           називається матриця  A , яку отримують заміною рядків
           стовпцями.
                                       103
   98   99   100   101   102   103   104   105   106   107   108