Програма складної структури з використанням меню, Детальна інформація

б) Включення хоч би однієї причини:

а

I (a(1(b(1)&~(a(0&b(0) )))))

b

в) Існує одна і тільки одна причина:

а

ПРО (a(1(b(1)&~(a(1&b(1)&~(a(0&b(0) )))))))

b

г) Одна причина спричиняє за собою іншу:

а

R ~(a(1&b(0) ))



b



д) Одне слідство приховує в собі інше:

а

M (a(1&b(0)&(a(1&b(1) ))))



b

мал. 4

П'ятий етап - функціональна діаграма перетворюється в таблицю рішень:

вибирається слідство, яке встановлюється в 1;

знаходяться всі комбінації причин (з урахуванням обмежень),

які встановлюють вибране слідство в 1