Вычислительные системы, сети и телекоммуникации. Бильчинская С.Г. - 14 стр.

дизъюнкцию входит инверсия данного аргумента. Любая функция имеет
единственную СКНФ.
Если исходная функция задана в табличной                       форме, то СКНФ может быть
получена непосредственно.
                                      x1         0 0 0 0       1   1   1   1
                                      x2         0 0 1 1       0   0   1   1
                                      x3         0 1 0 1       0   1   0   1
                              f ( x1 , x2 , x3 ) 0 0 1 1       0   1   0   1
 f ( x1 , x 2 , x3 ) = ( x1 ∨ x 2 ∨ x3 ) ⋅ ( x1 ∨ x 2 ∨ x3 )
                                            (**)
⋅ ( x1 ∨ x 2 ∨ x3 ) ⋅ ( x1 ∨ x 2 ∨ x3 )
Структурная схема логического устройства может быть построена
непосредственно по канонической форме (СДНФ или СКНФ) реализуемой
функции.




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

Минимизация логических функций методом Квайна
     Метод Квайна позволяет представлять функции в ДНФ или КНФ с
минимальным числом букв в членах. Метод Квайна содержит два этапа
преобразования выражения функции:
 1. переход от канонической формы (СДНФ или СКНФ) к сокращенной
 форме;
 2. переход от сокращенной формы логического выражения к минимальной
 форме.
     Первый этап (получение сокращенной формы).



14