ПРОГРАМА складної структури з використанням меню

в) Диз'юнкція: (a(1(b(1(>з(1) & (a(0&b(>0 >з(0))))))))

а

( з

b

г) Кон'юнкція: (a(1&b(1(>з(1) & (a(0(b(0(>з(0)))))))))

а

& з

b

мал. 3

На четвертому етапі функціональна діаграма забезпечується коментарями, які задають обмеження на комбінації причин і слідств. На мал. 4 приведені знаки коментарів, задаючих ці обмеження.

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

а

Е (a(1(b(1)^~(a(1&b(1)) ( (a(0&b(0))))))))

b

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

а

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) ))