Алгебраический синтез контрольных наборов. Корнилов А.Г. - 8 стр.

      1                   2                        1    2    3   4
                                                   1    0    0   0   1
                                          АН.С.    1    1    1   0   2
                                                   0    0    1   0   3
      3                   4                        0    0    1   1   4

          Рис. 1                                        Рис. 2


            1   2    3     4                        S1      S2 S3 S4 S0
            1   0    0     0   1                    0       1 1 1 1       π1
  АП        1   1    1     0   2     АНС ПР         0       0 0 1 1       π2
            0   0    1     0   3                    1       1 0 1 1       π3
            0   0    1     1   4                    1       1 0 0 1       π4

                Рис. 3                                      Рис. 4


                π1   π2   π3 π4
                                   S1S2       π1
                 1   0    0 0
                                   S1S3       π1 v π3 v π4
                 1   0    1 1
                 1   1    0 1      S1S4       π1 v π2 v π4
                 1   1    0 0      S1S0       π1 v π2
АР.П.С           0   0    1 1      S2S3       π3 v π4
  .
                 0   1    0 1      S2S4       π2 v π4
                 0   1    0 0      S2S0       π2
                 0   1    1 0      S3S4       π2 v π3
                 0   1    1 1      S3S0       π2 v π3 v π4
                 0   0    0 1      S4S0       π4


                          Рис. 5