Ok-okozati láncok átalakítása, módszertan
A végső probléma döntése során a МОИТТ-ben érdekes eredményt értek el. Őszintén szólva, számomra kinyilatkoztatás volt.
Annak érdekében, hogy világosabbak legyek, hozom a saját ok-okozati láncokat:
1. ábra.
Megállapítottam, hogy ha egy inverziós műveletet alkalmaz az ok-okozati láncra (vagyis megváltoztatod az összes ítéletet a négyzeteken az ellenkező oldalon, és megváltoztatod a nyilak irányát), új ok-okozati láncot kapsz. Ráadásul egy ilyen műveletet követően kiderült, hogy az átalakított második ok-okozati lánc az első folytatása.
Az ok-okozati láncok ilyen kombinációja, azzal a céllal, hogy az eredetileg nemkívánatos hatások egyetlen technikai ellentmondás megnyilvánulása volt.
Azt is észrevette, hogy néha az okozati hatású láncok ágakkal (villa) rendelkezhetnek. Néha ezek az ágak kapcsolódnak az "AND" művelethez és néha az "OR" -hez. Például az első ok-okozati láncban az "AND" logikai művelet következtében keletkezik az elágazás: Az állvány félelmetes a halból, mert a vonal látható és a vonal idegen tárgynak tűnik. A nemkívánatos hatás kiküszöbölése érdekében legalább egy helyen meg kell szüntetni az ok-okozati láncot. Ugyanakkor az "OR" típusú ágakkal rendelkező ok-okozati láncok egyszerre igénylik az összes fióktelep megoldását.
Érdekes, és mi más módszerek az ok-okozati láncok formális átalakítására?
Hogyan lehet a logikai láncokat elágazással átalakítani?
Tisztelettel, Alexey.