Page 51 - ЭВМ
P. 51

Например, необходимо составить СДНФ для таблично заданной
               функции:


                          x 1                   x 2                    x 3                    z
                          0                      0                     0                      0
                          0                      0                     1                      1
                          0                      1                     0                      0
                          0                      1                     1                      1
                          1                      0                     0                      0
                          1                      0                     1                      1
                          1                      1                     0                      1
                          1                      1                     1                      0

                                                                                             (
                      Воспользовавшись правилом построения СДНФ  z =                       f x x   2  3 ) ,,x ,
                                                                                               1
               получим:

                                z =  x xx ∨ ⋅  3  x x x ∨ ⋅  3  x xx ∨ ⋅  3   x x x .
                                                                   ⋅
                                                                                     ⋅
                                                                                ⋅
                                                     ⋅
                                       ⋅
                                                   1
                                                       2
                                     1
                                          2
                                                                 1
                                                                               1
                                                                     2
                                                                                       3
                                                                                   2

                      Возможно также иное представление функций алгебры логики,
               называемое  совершенной  конъюнктивной  нормальной  формой
               (СКНФ). В этом случае функция составляется из дизъюнкций, назы-
               ваемых конъюнктивными членами СКНФ или конституентами нуля,
               объединенных  знаком  конъюнкции.  Для  рассмотренного  выше  при-
               мера СКНФ функции будет иметь вид

                                                                                               )
                        z =  (     x ∨  2  x ⋅  3 )x ∨  ( 1  x ∨  x ∨  2  x ⋅  3  ) 1  ( 1  x ∨  2  x ⋅  3  ) ( 1  x ∨  2  x .
                                                                                  x ∨
                                                                x ∨
                                                                                              3

                      Переход от СДНФ к СКНФ представления функций алгебры ло-
               гики осуществляется следующим образом: выписывается логическая
               сумма дизъюнктивных членов, не вошедших в СДНФ, т. е. отрицание
               функции;  от  полученной  логической  суммы  дизъюнктивных  членов
               берется  отрицание.  Аналогично  осуществляется  переход  от  СКНФ
               к СДНФ представления функции алгебры логики.
                      Минимизация булевых функций. Цена формы записи булевой
               функции – это количество букв, входящих в общую запись. Как пра-

               вило,  практический  интерес  представляют  формы,  имеющие  мини-
               мальную  цену.  Такая  оптимизация  нужна  для  упрощения  сложных
               схем [1–4].
                      Минимизация – это процесс приведения булевых функций к та-
               кому виду, который допускает наиболее простую, с наименьшим чис-
               лом  элементов  физическую  реализацию  функции.  Частная  задача

               минимизации  булевой  функции  сводится  к  такому  представлению


                                                           51
   46   47   48   49   50   51   52   53   54   55   56