Материал: 2334
В качестве примера приведена табл. 3.3 – детализированная промежуточная таблица для вычисления функции x1. Использование совокупности дерева преобразований и детализированной промежуточной таблицы позволяет легко проверить правильность работы любой логической функции.
Т а б л и ц а 3.3. Детализированная промежуточная
таблица для вычисления функции x1
a13a14a3a4a5 ((a13 a5) a4) ((a3 ( a5 a14)) (a13 a5) a4))
-------- + |
-------------------------------------1 |
1 |
*0 0 |
1 0 0 |
1 |
1 |
1 |
1 1 1 1 1 | |
|||||||
1 1 1 1 0 | |
1 |
1 |
*0 0 |
1 1 1 |
1 |
1 |
1 |
1 1 1 0 1 | |
1 |
1 |
*0 0 |
1 0 0 |
1 |
1 |
1 |
1 1 1 0 0 | |
1 |
1 |
*0 0 |
1 1 1 |
1 |
1 |
1 |
1 1 0 1 1 | |
1 |
1 |
*1 1 |
0 0 0 |
0 |
1 |
1 |
1 1 0 1 0 | |
1 |
1 |
*0 0 |
1 1 1 |
1 |
1 |
1 |
1 1 0 0 1 | |
1 |
1 |
*1 1 |
0 0 0 |
0 |
1 |
1 |
1 1 0 0 0 | |
1 |
1 |
*0 0 |
1 1 1 |
1 |
1 |
1 |
1 0 1 1 1 | |
1 |
1 |
*0 0 |
1 0 0 |
1 |
1 |
1 |
1 0 1 1 0 | |
1 |
1 |
*0 0 |
1 1 0 |
1 |
1 |
1 |
1 0 1 0 1 | |
1 |
1 |
*0 0 |
1 0 0 |
1 |
1 |
1 |
1 0 1 0 0 | |
1 |
1 |
*0 0 |
1 1 0 |
1 |
1 |
1 |
1 0 0 1 1 | |
1 |
1 |
*1 1 |
0 0 0 |
0 |
1 |
1 |
1 0 0 1 0 | |
1 |
1 |
*1 1 |
0 1 0 |
0 |
1 |
1 |
1 0 0 0 1 | |
1 |
1 |
*1 1 |
0 0 0 |
0 |
1 |
1 |
1 0 0 0 0 | |
1 |
1 |
*1 1 |
0 1 0 |
0 |
1 |
1 |
0 1 1 1 1 | |
1 |
1 |
*0 0 |
1 0 0 |
1 |
1 |
1 |
0 1 1 1 0 | |
0 |
1 |
*0 0 |
1 1 1 |
1 |
0 |
1 |
0 1 1 0 1 | |
1 |
1 |
*0 0 |
1 0 0 |
1 |
1 |
1 |
0 1 1 0 0 | |
0 |
0 |
*0 1 |
1 1 1 |
0 |
0 |
0 |
0 1 0 1 1 | |
1 |
1 |
*1 1 |
0 0 0 |
0 |
1 |
1 |
0 1 0 1 0 | |
0 |
1 |
*0 0 |
1 1 1 |
1 |
0 |
1 |
0 1 0 0 1 | |
1 |
1 |
*1 1 |
0 0 0 |
0 |
1 |
1 |
0 1 0 0 0 | |
0 |
0 |
*0 1 |
1 1 1 |
0 |
0 |
0 |
0 0 1 1 1 | |
1 |
1 |
*0 0 |
1 0 0 |
1 |
1 |
1 |
0 0 1 1 0 | |
0 |
1 |
*0 0 |
1 1 0 |
1 |
0 |
1 |
0 0 1 0 1 | |
1 |
1 |
*0 0 |
1 0 0 |
1 |
1 |
1 |
0 0 1 0 0 | |
0 |
0 |
*0 1 |
1 1 0 |
0 |
0 |
0 |
0 0 0 1 1 | |
1 |
1 |
*1 1 |
0 0 0 |
0 |
1 |
1 |
0 0 0 1 0 | |
0 |
1 |
*1 1 |
0 1 0 |
0 |
0 |
1 |
0 0 0 0 1 | |
1 |
1 |
*1 1 |
0 0 0 |
0 |
1 |
1 |
Представление логических функций в виде таблицы истинности удобно, поскольку позволяет оценить алгоритм работы системы в статическом режиме.
80
Т а б л и ц а 3.4. СДНФ и СКНФ логических функций x1… x8
|
Исх. |
(a13 a5 a4) (¬((a3 (¬a5 a14)) (a13 a5 a4))) |
|
|
(a13 a14 ¬a3 a4 a5) (a13 a14 ¬a3 ¬a4 a5) (a13 ¬a14 ¬a3 a4 a5) |
|
СДНФ |
(a13 ¬a14 ¬a3 a4 ¬a5) (a13 ¬a14 ¬a3 ¬a4 a5) (a13 ¬a14 ¬a3 ¬a4 ¬a5) |
|
|
(¬a13 a14 ¬a3 a4 a5) (¬a13 a14 ¬a3 ¬a4 a5) (¬a13 ¬a14 ¬a3 a4 a5) |
|
|
(¬a13 ¬a14 ¬a3 a4 ¬a5) (¬a13 ¬a14 ¬a3 ¬a4 a5) |
|
|
|
x1 |
|
(¬a13 ¬a14 ¬a3 ¬a4 ¬a5) (¬a13 ¬a14 ¬a3 ¬a4 a5) |
|
(¬a13 ¬a14 ¬a3 a4 ¬a5) (¬a13 ¬a14 ¬a3 a4 a5) (¬a13 ¬a14 a3 ¬a4 a5) |
|
|
|
|
|
|
(¬a13 ¬a14 a3 a4 a5) (¬a13 a14 ¬a3 ¬a4 ¬a5) (¬a13 a14 ¬a3 ¬a4 a5) |
|
СКНФ |
(¬a13 a14 ¬a3 a4 ¬a5) (¬a13 a14 ¬a3 a4 a5) (a13 ¬a14 ¬a3 ¬a4 ¬a5) |
|
(a13 ¬a14 ¬a3 ¬a4 a5) (a13 ¬a14 ¬a3 a4 ¬a5) (a13 ¬a14 ¬a3 a4 a5) |
|
|
|
|
|
|
(a13 ¬a14 a3 ¬a4 a5) (a13 ¬a14 a3 a4 a5) (a13 a14 ¬a3 ¬a4 ¬a5) |
|
|
(a13 a14 ¬a3 ¬a4 a5) (a13 a14 ¬a3 a4 ¬a5) (a13 a14 ¬a3 a4 a5) |
|
|
(a13 a14 a3 a4 a5) |
|
|
|
|
Исх. |
(a3 (a14 ¬a5)) (¬((a3 (a14 ¬a5)) (a13 a5 a4))) |
|
|
|
|
СДНФ |
(¬a13 a14 a3 ¬a4 ¬a5) (¬a13 a14 ¬a3 ¬a4 ¬a5) (¬a13 ¬a14 a3 ¬a4 ¬a5) |
|
|
|
|
|
(¬a13 ¬a14 ¬a3 ¬a4 ¬a5) (¬a13 ¬a14 ¬a3 ¬a4 a5) |
|
|
(¬a13 ¬a14 ¬a3 a4 ¬a5) (¬a13 ¬a14 ¬a3 a4 a5) (¬a13 ¬a14 a3 ¬a4 ¬a5) (¬ |
x2 |
|
a13 ¬a14 a3 ¬a4 a5) (¬a13 ¬a14 a3 a4 ¬a5) (¬a13 ¬a14 a3 a4 a5) |
|
(¬a13 a14 ¬a3 ¬a4 ¬a5) (¬a13 a14 ¬a3 ¬a4 a5) (¬a13 a14 ¬a3 a4 ¬a5) |
|
|
СКНФ |
(¬a13 a14 ¬a3 a4 a5) (¬a13 a14 a3 ¬a4 ¬a5) (¬a13 a14 a3 ¬a4 a5) |
|
(¬a13 a14 a3 a4 ¬a5) (¬a13 a14 a3 a4 a5) (a13 ¬a14 ¬a3 ¬a4 ¬a5) |
|
|
|
|
|
|
(a13 ¬a14 ¬a3 ¬a4 a5) (a13 ¬a14 ¬a3 a4 ¬a5) (a13 ¬a14 a3 ¬a4 ¬a5) |
|
|
(a13 ¬a14 a3 ¬a4 a5) (a13 ¬a14 a3 a4 ¬a5) (a13 a14 ¬a3 ¬a4 ¬a5) |
|
|
(a13 a14 ¬a3 ¬a4 a5) (a13 a14 ¬a3 a4 ¬a5) (a13 a14 a3 ¬a4 ¬a5) |
|
|
(a13 a14 a3 ¬a4 a5) (a13 a14 a3 a4 ¬a5) (a13 a14 a3 a4 a5) |
|
|
|
|
Исх. |
(a15 a7 a4) (¬((a3 (¬a7 a16)) (a15 a7 a4))) |
|
|
(a15 a16 ¬a3 a4 a7) (a15 a16 ¬a3 ¬a4 a7) (a15 ¬a16 ¬a3 a4 a7) |
|
СДНФ |
(a15 ¬a16 ¬a3 a4 ¬a7) (a15 ¬a16 ¬a3 ¬a4 a7) (a15 ¬a16 ¬a3 ¬a4 ¬a7) |
|
|
(¬a15 a16 ¬a3 a4 a7) (¬a15 a16 ¬a3 ¬a4 a7) (¬a15 ¬a16 ¬a3 a4 a7) |
|
|
(¬a15 ¬a16 ¬a3 a4 ¬a7) (¬a15 ¬a16 ¬a3 ¬a4 a7) |
x3 |
|
(¬a15 ¬a16 ¬a3 ¬a4 ¬a7) (¬a15 ¬a16 ¬a3 ¬a4 a7) |
|
(¬a15 ¬a16 ¬a3 a4 ¬a7) (¬a15 ¬a16 ¬a3 a4 a7) (¬a15 ¬a16 a3 ¬a4 a7) |
|
|
|
(¬a15 ¬a16 a3 a4 a7) (¬a15 a16 ¬a3 ¬a4 ¬a7) (¬a15 a16 ¬a3 ¬a4 a7) |
|
СКНФ |
(¬a15 a16 ¬a3 a4 ¬a7) (¬a15 a16 ¬a3 a4 a7) (a15 ¬a16 ¬a3 ¬a4 ¬a7) |
|
(a15 ¬a16 ¬a3 ¬a4 a7) (a15 ¬a16 ¬a3 a4 ¬a7) (a15 ¬a16 ¬a3 a4 a7) |
|
|
|
|
|
|
(a15 ¬a16 a3 ¬a4 a7) (a15 ¬a16 a3 a4 a7) (a15 a16 ¬a3 ¬a4 ¬a7) |
|
|
(a15 a16 ¬a3 ¬a4 a7) (a15 a16 ¬a3 a4 ¬a7) (a15 a16 ¬a3 a4 a7) |
|
|
(a15 a16 a3 a4 a7) |
|
|
|
81
Продолжениетабл.3.4
|
Исх. |
(a3 (a16 ¬a7)) (¬((a3 (a16 ¬a7)) (a15 a7 a4))) |
|
|
|
|
СДНФ |
(¬a15 a16 a3 ¬a4 ¬a7) (¬a15 a16 ¬a3 ¬a4 ¬a7) (¬a15 ¬a16 a3 ¬a4 ¬a7) |
|
|
|
|
|
(¬a15 ¬a16 ¬a3 ¬a4 ¬a7) (¬a15 ¬a16 ¬a3 ¬a4 a7) |
|
|
(¬a15 ¬a16 ¬a3 a4 ¬a7) (¬a15 ¬a16 ¬a3 a4 a7) (¬a15 ¬a16 a3 ¬a4 ¬a7) |
x4 |
|
(¬a15 ¬a16 a3 ¬a4 a7) (¬a15 ¬a16 a3 a4 ¬a7) (¬a15 ¬a16 a3 a4 a7) |
|
(¬a15 a16 ¬a3 ¬a4 ¬a7) (¬a15 a16 ¬a3 ¬a4 a7) (¬a15 a16 ¬a3 a4 ¬a7) |
|
|
СКНФ |
(¬a15 a16 ¬a3 a4 a7) (¬a15 a16 a3 ¬a4 ¬a7) (¬a15 a16 a3 ¬a4 a7) |
|
(¬a15 a16 a3 a4 ¬a7) (¬a15 a16 a3 a4 a7) (a15 ¬a16 ¬a3 ¬a4 ¬a7) |
|
|
|
|
|
|
(a15 ¬a16 ¬a3 ¬a4 a7) (a15 ¬a16 ¬a3 a4 ¬a7) (a15 ¬a16 a3 ¬a4 ¬a7) |
|
|
(a15 ¬a16 a3 ¬a4 a7) (a15 ¬a16 a3 a4 ¬a7) (a15 a16 ¬a3 ¬a4 ¬a7) |
|
|
(a15 a16 ¬a3 ¬a4 a7) (a15 a16 ¬a3 a4 ¬a7) (a15 a16 a3 ¬a4 ¬a7) |
|
|
(a15 a16 a3 ¬a4 a7) (a15 a16 a3 a4 ¬a7) (a15 a16 a3 a4 a7) |
|
|
|
|
Исх. |
(a14 a9 a4) (¬((a3 (¬a9 a13)) (a14 a9 a4))) |
|
|
|
|
|
(a13 a14 ¬a3 a4 a9) (a13 a14 ¬a3 ¬a4 a9) (a13 ¬a14 ¬a3 a4 a9) |
|
СДНФ |
(a13 ¬a14 ¬a3 ¬a4 a9) (¬a13 a14 ¬a3 a4 a9) (¬a13 a14 ¬a3 a4 ¬a9) |
|
(¬a13 a14 ¬a3 ¬a4 a9) (¬a13 a14 ¬a3 ¬a4 ¬a9) (¬a13 ¬a14 ¬a3 a4 a9) |
|
|
|
(¬a13 ¬a14 ¬a3 a4 ¬a9) (¬a13 ¬a14 ¬a3 ¬a4 a9) |
x5 |
|
(¬a13 ¬a14 ¬a3 ¬a4 ¬a9) (¬a13 ¬a14 ¬a3 ¬a4 a9) |
|
(¬a13 ¬a14 ¬a3 a4 ¬a9) (¬a13 ¬a14 ¬a3 a4 a9) (¬a13 ¬a14 a3 ¬a4 a9) |
|
|
|
(¬a13 ¬a14 a3 a4 a9) (¬a13 a14 ¬a3 ¬a4 ¬a9) (¬a13 a14 ¬a3 ¬a4 a9) |
|
СКНФ |
(¬a13 a14 ¬a3 a4 ¬a9) (¬a13 a14 ¬a3 a4 a9) (¬a13 a14 a3 ¬a4 a9) |
|
(¬a13 a14 a3 a4 a9) (a13 ¬a14 ¬a3 ¬a4 ¬a9) (a13 ¬a14 ¬a3 ¬a4 a9) |
|
|
|
|
|
|
(a13 ¬a14 ¬a3 a4 ¬a9) (a13 ¬a14 ¬a3 a4 a9) (a13 a14 ¬a3 ¬a4 ¬a9) |
|
|
(a13 a14 ¬a3 ¬a4 a9) (a13 a14 ¬a3 a4 ¬a9) (a13 a14 ¬a3 a4 a9) |
|
|
(a13 a14 a3 a4 a9) |
|
Исх. |
(a3 (a13 ¬a9)) (¬((a3 (a13 ¬a9)) (a14 a9 a4))) |
|
|
|
|
|
|
|
СДНФ |
(a13 ¬a14 a3 ¬a4 ¬a9) (a13 ¬a14 ¬a3 ¬a4 ¬a9) (¬a13 ¬a14 a3 ¬a4 ¬a9) |
|
|
|
|
|
(¬a13 ¬a14 ¬a3 ¬a4 ¬a9) (¬a13 ¬a14 ¬a3 ¬a4 a9) |
|
|
(¬a13 ¬a14 ¬a3 a4 ¬a9) (¬a13 ¬a14 ¬a3 a4 a9) (¬a13 ¬a14 a3 ¬a4 ¬a9) (¬ |
|
|
a13 ¬a14 a3 ¬a4 a9) (¬a13 ¬a14 a3 a4 ¬a9) (¬a13 ¬a14 a3 a4 a9) |
x6 |
|
(¬a13 a14 ¬a3 ¬a4 ¬a9) (¬a13 a14 ¬a3 ¬a4 a9) (¬a13 a14 ¬a3 a4 ¬a9) |
|
(¬a13 a14 a3 ¬a4 ¬a9) (¬a13 a14 a3 ¬a4 a9) (¬a13 a14 a3 a4 ¬a9) |
|
|
СКНФ |
(a13 ¬a14 ¬a3 ¬a4 ¬a9) (a13 ¬a14 ¬a3 ¬a4 a9) (a13 ¬a14 ¬a3 a4 ¬a9) |
|
|
(a13 ¬a14 ¬a3 a4 a9) (a13 ¬a14 a3 ¬a4 ¬a9) (a13 ¬a14 a3 ¬a4 a9) |
|
|
(a13 ¬a14 a3 a4 ¬a9) (a13 ¬a14 a3 a4 a9) (a13 a14 ¬a3 ¬a4 ¬a9) |
|
|
(a13 a14 ¬a3 ¬a4 a9) (a13 a14 ¬a3 a4 ¬a9) (a13 a14 a3 ¬a4 ¬a9) |
|
|
(a13 a14 a3 ¬a4 a9) (a13 a14 a3 a4 ¬a9) (a13 a14 a3 a4 a9) |
|
|
|
82
Окончание табл. 3.4
|
Исх. |
(a16 a11 a4) (¬((a3 (¬a11 a15)) (a16 a11 a4))) |
|||||||||
|
|
(a11 a15 a16 ¬a3 a4) (a11 a15 a16 ¬a3 ¬a4) (a11 a15 ¬a16 ¬a3 a4) |
|||||||||
|
СДНФ |
(a11 a15 ¬a16 ¬a3 ¬a4) (a11 ¬a15 a16 ¬a3 a4) (a11 ¬a15 a16 ¬a3 ¬a4) |
|||||||||
|
|
(a11 ¬a15 ¬a16 ¬a3 a4) (a11 ¬a15 ¬a16 ¬a3 ¬a4) (¬a11 ¬a15 a16 ¬a3 a4) (¬ |
|||||||||
|
|
a11 ¬a15 a16 ¬a3 ¬a4) (¬a11 ¬a15 ¬a16 ¬a3 a4) |
|||||||||
7 |
|
(¬a11 ¬a15 ¬a16 ¬a3 ¬a4) (¬a11 ¬a15 ¬a16 ¬a3 a4) |
|||||||||
|
(¬a11 |
¬a15 |
a16 |
¬a3 ¬a4) (¬a11 |
¬a15 |
a16 |
¬a3 |
a4) |
|||
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
(¬a11 a15 ¬a16 ¬a3 ¬a4) (¬a11 a15 ¬a16 ¬a3 a4) (¬a11 a15 a16 ¬a3 ¬a4) (¬ |
|||||||||
|
СКНФ |
a11 a15 a16 ¬a3 a4) (a11 ¬a15 ¬a16 ¬a3 ¬a4) (a11 ¬a15 ¬a16 ¬a3 a4) (a11 ¬ |
|||||||||
|
|
a15 ¬a16 a3 ¬a4) (a11 ¬a15 ¬a16 a3 a4) (a11 ¬a15 a16 ¬a3 ¬a4) (a11 ¬a15 a |
|||||||||
|
|
16 ¬a3 a4) (a11 ¬a15 a16 a3 ¬a4) (a11 ¬a15 a16 a3 a4) |
|||||||||
|
|
(a11 a15 ¬a16 ¬a3 ¬a4) (a11 a15 ¬a16 ¬a3 a4) (a11 a15 a16 ¬a3 ¬a4) |
|||||||||
|
|
(a11 a15 a16 ¬a3 a4) (a11 a15 a16 a3 a4) |
|
||||||||
|
Исх. |
(a3 (a15 ¬a11)) (¬((a3 (a15 ¬a11)) (a16 a11 a4))) |
|||||||||
|
СДНФ |
(¬a11 a15 ¬a16 a3 ¬a4) (¬a11 a15 ¬a16 ¬a3 ¬a4) |
|||||||||
|
|
|
(¬a11 ¬a15 ¬a16 a3 ¬a4) |
|
|
|
|||||
|
|
|
|
|
|
|
|||||
|
|
(¬a11 ¬a15 ¬a16 ¬a3 ¬a4) (¬a11 ¬a15 ¬a16 ¬a3 a4) |
|||||||||
|
|
(¬a11 ¬a15 ¬a16 a3 ¬a4) (¬a11 ¬a15 ¬a16 a3 a4) |
|||||||||
|
|
(¬a11 ¬a15 a16 ¬a3 ¬a4) (¬a11 ¬a15 a16 ¬a3 a4) (¬a11 ¬a15 a16 a3 ¬a4) (¬ |
|||||||||
x8 |
|
a11 ¬a15 a16 a3 a4) (¬a11 a15 ¬a16 ¬a3 ¬a4) (¬a11 a15 ¬a16 ¬a3 a4) (¬a11 |
|||||||||
|
a15 ¬a16 a3 ¬a4) (¬a11 a15 ¬a16 a3 a4) (¬a11 a15 a16 ¬a3 ¬a4) (¬a11 a15 a |
||||||||||
|
СКНФ |
||||||||||
|
16 ¬a3 a4) (¬a11 a15 a16 a3 ¬a4) (¬a11 a15 a16 a3 a4) |
||||||||||
|
|
(a11 ¬a15 ¬a16 ¬a3 ¬a4) (a11 ¬a15 ¬a16 ¬a3 a4) (a11 ¬a15 ¬a16 a3 ¬a4) (a1 |
|||||||||
|
|
1 ¬a15 ¬a16 a3 a4) (a11 ¬a15 a16 ¬a3 ¬a4) (a11 ¬a15 a16 a3 ¬a4) |
|||||||||
|
|
(a11 a15 ¬a16 ¬a3 ¬a4) (a11 a15 ¬a16 ¬a3 a4) (a11 a15 ¬a16 a3 ¬a4) |
|||||||||
|
|
(a11 a15 ¬a16 a3 a4) (a11 a15 a16 ¬a3 ¬a4) (a11 a15 a16 a3 ¬a4) |
|||||||||
|
|
|
|
|
(a11 a15 a16 a3 a4) |
|
|
|
|||
Появляется возможность проверить правильность значения логического сигнала на выходе в зависимости от совокупности всех возможных комбинаций логических сигналов на входе. Для описания принципов работы комбинационной цифровой схемы полностью достаточно таблицы истинности [19].
По таблицам истинности булевых функций могут быть получены совершенная дизъюнктивная нормальная форма (СДНФ) и совершенная конъюнктивная нормальная форма (СКНФ) любой булевой функции. СДНФ называют наиболее полную, избыточную форму записи функции. Эта форма записи представляет собой сумму, каждое слагаемое которой является произведением всех входных аргументов или их инверсий. СКНФ – это произведение сомножителей, каждый из которых является суммой всех входных аргументов или их инверсий. Кроме того, СДНФ и СКНФ должны удовлетворять ряду дополни-
83
тельных условий, в частности, в каждой элементарной конъюнкции СДНФ (или в каждой элементарной дизъюнкции СКНФ) должна один раз содержаться каждая входная логическая переменная данной функции [19].
В связи с тем, что одной и той же булевой функции могут соответствовать различные формы аналитической записи, возникает задача нахождения формы записи, при которой каждой функции будет соответствовать только одна формула стандартного вида (каноническая форма). СДНФ и СКНФ являются каноническими формами представления булевых функций, что позволяет сравнивать между собой различные функции.
Для получения СДНФ на основе таблицы истинности необходи-
мо [19]:
1.Каждый из входных наборов, на которых булева функция принимает значения 1, представить в виде элементарного произведения (конъюнкции), причем если переменная равна 0, то она войдет в конъюнкцию с инверсией, а если 1 – то без инверсии.
2.Полученные элементарные конъюнкции объединить знаками дизъюнкции.
Дляполучения СКНФ на основетаблицыистинности необходимо:
1.Каждый из входных наборов, на которых булева функция принимает значения 0, представить в виде элементарной логической суммы (дизъюнкции), причем если переменная равна 1, то она входит
вдизъюнкцию с инверсией, а если 0, – то без инверсии.
2.Полученные элементарные дизъюнкции объединить знаками конъюнкции.
В табл. 3.4 приведены СДНФ и СКНФ для логических выражений
(3.75) – (3.83).
Для оценки сложности реализации булевых функций используют сокращенную дизъюнктивную нормальную форму (ДНФ). В отличие от СДНФ, присутствие в каждой элементарной конъюнкции ДНФ каждой входной логической переменной необязательно. Любая булева формула может быть приведена к единственной сокращенной ДНФ. Для этого используются различные методы получения сокращенной ДНФ из СДНФ, например, метод Квайна-Ман-Класки (Quine McCluskey), метод карт Карно и др. Члены сокращенной формы ДНФ называют простыми импликантами функции. Сокращенная ДНФ отличается минимальным количеством импликант и минимальным набором переменных [19].
84