Рис. 3. Схема работы системы определения варианта пересечения рубежа
и
Б
,
Г
, которые далее с помощью критериев (8) и (9) разбиваются до
однозначного определения.
Если варианты пересечения рубежа
А
–
Г
представить как булевы
функции, то в соответствии с алгоритмом, представленным на рис. 3,
можно составить таблицу истинности для этих функций. В качестве
аргументов булевых функций
А
,
Б
,
В
,
Г
будем рассматривать введен-
ные логические функции
f
1
−
f
5
. Булева функция пяти аргументов
задается на 32 наборах, но в данном случае ограничимся наборами,
адекватными схеме работы системы и приведенными в табл. 2. Задан-
ная таблицей истинности булева функция может быть представлена в
аналитической форме с использованием операций конъюнкции, дизъ-
юнкции и инверсии. Выразим функции
А
,
Б
,
В
,
Г
в дизъюнктивной
Таблица 2
Истинность функций
А, Б, В, Г
f
1
f
2
f
3
f
4
f
5
А Б В Г
1
–
–
–
1
0
0
0
1
1
–
–
–
0
0
0
1
0
0
1
–
–
–
0
0
1
0
0
0
1
1
–
0
0
0
1
0
0
1
0
–
1
0
0
0
0
0
0
1
–
0
0
0
1
0
0
0
0
–
0
1
0
0
12 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2011. № 4
