ії причин і наслідків. На рис.4 наведено знаки коментарів, які задають ці обмеження.
а) Виключення однієї з причин:
В
a
E ((a = 1ГЇb = 1) ^ ~ (a = 1 & b = 1)) ГЇ (a = 0 & b = 0)
b
В
б) Включення хоч би однієї причини:
a
I (a = 1ГЇb = 1) & ~ (a = 0 & b = 0)
b
в) Существуетодна і тільки одна причина:
a
O (a = 1ГЇb = 1) & ~ (a = 1 & b = 1) & ~ (a = 0 & b = 0)
b
г) Одна причина спричиняє за собою лругой:
a
R ~ (a = 1 & b = 0)
В
b
В
д) Одне слідство приховує в собі інше:
a
M (a = 1 & b = 0) & (a = 1 & b = 1)
В
b
рис.4
П'ятий етап - функціональна діаграма перетворюється в таблицю рішень:
вибирається слідство, яке встановлюється в 1;
знаходяться всі комбінації причин (з урахуванням обмежень),
які встановлюють вибране слідство в 1
