Formálně logické metody – rozhodovací tabulky
Jde o metodu, která umožňuje přehledně vyjádřit složité logické vztahy mezi podmínkami. Rozhodovací tabulku tvoří čtyři kvadranty, které mají své místo i obsah:
| Zadání problému | Pravidla |
| I. kvadrantFormulace podmínek Jaké jsou rozhodující podmínky řešení problému? |
III. kvadrantVolba stavu podmínek Jaké kombinace podmínek se mohou vyskytnout? |
| II. kvadrantFormulace činností Které jsou veškeré požadované činnosti pro řešení problému? |
IV. kvadrantVolba činností (rozhodnutí), Které činnosti provést při jednotlivých kombinacích podmínek? |
I. Kvadrant obsahuje formulaci všech podmínek, které určují řešenou situaci předurčují možné varianty řešení. Vyčerpávající a přesné určení všech podmínek je nejnáročnějším krokem sestavování tabulky.II. Kvadrant zahrnuje formulaci všech činností pro řešení problému určených splněním či nesplněním podmínek I. kvadrantu. Formulace činností závisí na zadání problému a musí obsahovat všechny možné činnosti, mohou vést k řešení problému.
