Zadanie analizy służy do wypisania wszystkich możliwych kombinacji rezultatów podjętych decyzji przy
założeniu zadanych warunków zewnętrzych (zakłóceń). Decyzje oraz zakłócenia wprowadzane są w formie
faktu wejściowego.
Zadanie podejmowania decyzji służy do wypisania wszystkich kombinacji możliwych do podjęcia decyzji,
których wynikiem będą zadane skutki, wprowadzone w postaci faktu wyjściowego.
W celu wprowadzenia faktu, należy najpierw zdefiniować jego szablon, składający się z funkcji
logicznych oraz znaków zapytania w miejscach zmiennych. Przykładowe szablony faktów:
- ? i ?
- ? lub ?
- ? albo ?
- nie ?
- jeżeli ? to ?
- ? i (nie ?)
- ? i ((nie ?) lub ?)
Po wprowadzeniu szablonu zdania logicznego należy wcisnąć przycik "Gotowe", co spowoduje zamianę
znaków zapytania na listy rozwijane umożliwiające wybór konkretnych składowych zdań. Wynik zostanie
pokazany po wybraniu wszystkich opcji.