vähem ressursikulukaks ilma lõpptulemi kvaliteeti muutmata. Optimeerimisel ehk parendamisel kaardistatakse olemaolev olukord (as-is vaade), seejärel viiakse läbi protsessianalüüs ning tulemuste põhjal luuakse (disainitakse) tulevikuprotsessid (to-be vaade). Automatiseerimine (paljude) manuaaltegevustega protsessi üleviimine infosüsteemi või automaatjuhtimissüsteemi, Protsesside dekomponeerimise ning tegevuste määratlemise (detailiseerimise) aluspõhimõtted. Dekomponeerimine Juhtimisprotsessid, mis kirjeldavad organisatsiooni juhtimist Talitlusprotsessid (põhiprotsessid), mis kirjeldavad ettevõtte / organisatsiooni põhitegevust. Tugiprotsessid, mis toetavad talitlus- või juhtimisprotsesse. Tegevuste määratlemise aluspõhimõtted Hõlmab tegevuse kaupa protsessi käigus tehtavate toimingute ja nendevaheliste seoste kirjeldamist
tõesus, siis pannakse need ühte ja samasse harusse (nt konjunktsioon). Kui lammutatava lause tõesusest järeldub vaid ühe komponentlause tõesus, siis puu hargneb ja komponentlaused pannakse eri harudesse, kumbki haru kirjeldab üht võimalikku alternatiivi. Tõesuspuude tuletusreeglid antakse iga loogikatehte jaoks paarina, kus üks reegel vastab loogikatehtele positiivsel kujul ja teine reegel olukorra jaoks, kus tehte ees on eitus, vt tabel 9.5, suurtäht D viitab dekomponeerimise reeglile. Tabel 9.5. Lausearvutuse tehet sisaldavate valemite lammutamise (dekomponeerimise) reeglid tõesuspuus. Kui hargnemist ei toimu, nt konjunktsiooni korral, siis jäävad tükid (komponendid) oksa või tüve jätkuks. Kui toimub hargnemine, nt disjunktsiooni korral, siis paigutuvad komponendid eri harudele. ¬¬p (¬¬D) p p & q (&D) ¬(p & q) (¬&D) p q ¬p ¬q p ∨ q (∨D) ¬(p ∨ q) (¬∨D) ¬p p q ¬q p → q (→D) ¬(p → q) (¬→D) p ¬p q ¬q
tõesus, siis pannakse need ühte ja samasse harusse (nt konjunktsioon). Kui lammutatava lause tõesusest järeldub vaid ühe komponentlause tõesus, siis puu hargneb ja komponentlaused pannakse eri harudesse, kumbki haru kirjeldab üht võimalikku alternatiivi. Tõesuspuude tuletusreeglid antakse iga loogikatehte jaoks paarina, kus üks reegel vastab loogikatehtele positiivsel kujul ja teine reegel olukorra jaoks, kus tehte ees on eitus, vt tabel 9.5, suurtäht D viitab dekomponeerimise reeglile. Tabel 9.5. Lausearvutuse tehet sisaldavate valemite lammutamise (dekomponeerimise) reeglid tõesuspuus. Kui hargnemist ei toimu, nt konjunktsiooni korral, siis jäävad tükid (komponendid) oksa või tüve jätkuks. Kui toimub hargnemine, nt disjunktsiooni korral, siis paigutuvad komponendid eri harudele. ¬¬p (¬¬D) p
annaabi.ee 
