2.1. Табличная форма
Самым простым средством задания булевых функций или функций
алгебры логики являются таблицы
истинности (истинностные таблицы), содержащие все наборы
значений переменных и значения функций в этих наборах.
В качестве примера рассмотрим задачу фиксации положения хххх
некоторого летающего объекта, имеющего три измерительных датчика.
Логическое устройство должно формировать команду фиксации для
измерительной системы, если срабатывают не менее двух любых
датчиков. Если обозначить состояния датчиков логическими
переменными X1, X2, X3, а функцию
срабатывания как f, то такое логическое
устройство может быть задано булевой функцией трех переменных
(табл. 2.1)
Таблица 2.1.
| X1 |
X2 |
X3 |
f |
| 0 |
0 |
0 |
0 |
| 0 |
0 |
1 |
0 |
| 0 |
1 |
0 |
0 |
| 0 |
1 |
1 |
1 |
| 1 |
0 |
0 |
0 |
| 1 |
0 |
1 |
1 |
| 1 |
1 |
0 |
1 |
| 1 |
1 |
1 |
1 |
|
.gif){kind=spacer}
