Минимизация ФАЛРефераты >> Математика >> Минимизация ФАЛ
1) доопрделим *=1 и получим минимальный вид функции
Доопрделим *=0
Оптимальное доопрделение функций соответствующее минимальному покрытию может быть найдено по методу Квайна.
|
|
|
|
| |
|
| V | |||
|
| V | V | ||
|
| V | V | ||
|
| V |
В результате получится минимальный вид функции вида: 
ее таблица единичных значений тогда будет: 
Временные булевы функции. (1.7)
Определение: Временная булева функция – логическая функция вида 
, принимающая значение единицы при 
, где s – дискретное целочисленное значение, называемое автоматическим временем.
Утверждение: число различных временных булевых функций равно 
.
Доказательство: если функция времени принимает n значений 
и на каждом интервале времени t соответствует 
единичных наборов, то всего получится 
наборов, значит число временных булевых функций равно .
Любая временная булева функция может быть представлена в виде 
Где 
- конъюнктивный или дизъюнктивный терм, а 
равно 0 или 1 в зависимости от времени t. Форма представления временных булевых функций позволяет применить все метды минимизации.
Пример:
|
|
|
|
|
| 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 |
| 0 | 0 | 2 | 0 |
| 0 | 1 | 2 | 0 |
| 1 | 0 | 2 | 1 |
| 1 | 1 | 2 | 1 |
