Дискретная математика
3.9 Неполностью определенные логические функции
Ранее мы рассматривали ситуации, когда на множество аргументов или логических переменных x1, x2,…, xn не накладывались ограничения, или, что то же самое, функции были определены на всем наборе аргументов. Однако реально на практике функции либо не определены полностью, либо есть запрещенные комбинации. Необходимо доопределить функцию таким образом, чтобы аналитическая форма ее представления была минимальной, далее производят склейки (пример приведён в табл. 13).
Таблица 13
x3x4 x1x2 |
00 |
01 |
11 |
10 |
|
00 |
0* |
0 |
1* |
0 |
|
01 |
1* |
1 |
1 |
1* |
|
11 |
0 |
0 |
1 |
0* |
|
10 |
0* |
0* |
1* |
0* |
.
* - эти значения доопределили сами, исходя того, чтобы выражение для функции F было минимальным.
Содержание
- Часть 3. Элементы алгебры логики
- 3.1 Введение в алгебру логики
- 3.2 Основные функции алгебры логики
- 3.3 Формулы алгебры логики
- Контрольные вопросы
- 3.4 Законы алгебры логики и следствия из них
- 3.5 Логические функции многих переменных
- 3.6 Построение формул алгебры логики по заданной таблице истинности
- Контрольные вопросы и упражнения
- Контрольные вопросы и упражнения
- Контрольные вопросы
- 3.9 Неполностью определенные логические функции
- 3.10 Формы представления булевых функций
- 3.10.1 Семантические деревья
- 3.10.2 Бинарные диаграммы решений (БДР)
Похожие материалы