Page 45 - 4496
P. 45

Згідно з поданою таблицею складемо ДДНФ:
                                   1
                                  F = m 0f 0 + m 1f 1 + m 2f 2 + m 3f 3 = m 0 + m 3 = A B + AB
                                  Аналогічно отримуємо ДКНФ
                                   0
                                  F =(f 0+M 0)(f 1+M 1)(f 2+M 2)(f 3+M 3)=(f 1+M 1)(f 2+M 2)=M 1M 2=
                            (A+ B )( A +B)
                                  Якщо розкрити дужки, то отримуємо
                                   0
                                  F =A A +AB+ A B + B B= A B +AB(A A =0 і B B =0).
                                                                                     1
                                                                                         0
                                  Останній результат доказує тотожність функцій F і F .
                                  2.24 Індекс (коефіцієнт) простоти
                                  Допустимо, що заданий опис роботи системи (у вигляді
                            таблиці істинності). Необхідно за заданим описом знайти
                            структуру логічної системи. Поставлена задача є задачею
                            синтезу логічного пристрою.
                                  Одним із основних питань цієї задачі є така: як для
                            довільної функції алгебри логіки f (x 1, x 2, ..., x n) побудувати її
                            мінімальну ДНФ або КНФ. (Задача мінімізації булевих
                            функцій).
                                  Для того щоб вирішити цю задачу необхідно мати
                            критерій, за яким можна оцінити складність (простоту)
                            отриманого     виразу.   З   цією   метою    вводиться    індекс
                            (коефіцієнт) простоти ДНФ або КНФ.
                                  Найчастіше     зустрічаються    такі  типи    коефіцієнтів
                            простоти:
                                  L`(A) – число символів змінних, які використовуються
                            для запису ДНФ;
                                  L``(A) – число елементарних кон`юнкцій, що входять до
                            логічної функції;
                                  L```(A) – число символів інверсій, які зустрічаються в
                            запису ДНФ.
                                  Приклад.
                                  Розглянемо функцію

                                  A 1= x 1 x 2 x 3+x 1 x 2 x 3+x 1 x 2x 3+x 1x 2 x 3+x 1x 2x 3
                                  еквівалентну формулі
                                  A 2=A 1= x 2 x 3+x 1(x 2+x 3)= x 2 x 3+x 1x 2+x 1x 3
                                  Запишемо
                                  A 1= x 2 x 3(x 1+ x 1)+x 1 x 2x 3+x 1x 2(x 3+ x 3)=
                             x 2 x 3+x 1 x 2x 3+x 1x 2;
                                                           42
   40   41   42   43   44   45   46   47   48   49   50