Szabályzata belépés bonyolult képletek - a logika - az elérhető minden

Ezek a példák lehetővé teszik megfogalmazni néhány szabályokat a legösszetettebb döntéseit. Tehát, ha az írás összetett mondatok kell figyelni, hogy a képletek nem volt két szomszédos logicheckih ínszalag - ők kell elválasztani képletek vagy kisegítő jellegű, és nincs két szomszédos képletek - ezek külön kell választani logikai csomagot.

emlékeztetni kell arra, hogy írásban bonyolult képletek

1) minden egyes előfordulása egy diszjunkció "ù„Kifejezés egy propozicionális változó vagy általános képletű közvetlenül követő logikai művelet, hogy a jobb oldalon;

2) minden egyes előfordulásakor diszjunkció „” Miután elhelyezése zárójelben kötődik propozicionális változók képletű vagy közvetlenül körülvevő logikai köteg;

3) minden egyes előfordulásakor a diszjunkció "Ú „Elhelyezése után zárójelben csatlakozik propozicionális változók vagy képletek közvetlenül körülvevő csokor, stb

Amikor használja ezeket a szabályokat azonos képlet a zárójelbe kell helyezni fokozatosan halad balról jobbra.

Logic ínszalag ereje és jelentősége is rendelhető az alábbiak szerint: ù; ; Ú; ®; ”. Ez a legerősebb keresztszalag tagadás, akkor az összefüggésben a diszjunkció, hallgatólagosan és végül egyenértékűségét. Ismerve a szabályokat a hatalom logikai kapcsolatok, lehetséges, hogy kihagyja azokat a párokat konzolok, amely nélkül a tiszta végrehajtásának sorrendjében logikai műveleteket.

Példa. Adott egy F képletű = (((F1Ú(ùF2)) ®F3) «F4).

Meg kell távolítani a zárójelben.

1), hogy eltávolítsuk a külső zárójelben képletnél, mivel nem határozza meg minden olyan művelet részesítendő:

2) távolítsa el a zárójelben kiterjedő képletű közvetve, mivel az egyenértékűség műveletet fogunk végrehajtani csak a műtét után az a hatása:

3) távolítsa el a zárójelben kiterjedő képletű diszjunkció, mivel a hatása művelet végrehajtása csak elvégzése után diszjunkciót:

4) távolítsa el a zárójelben kiterjedő negáció formula szerinti szétválasztás művelet kerül végrehajtásra csak a negáció művelet:

Így a műveletek sorrendjét, miután a feladat végrehajtását propozatsionalnyh következő változókat: először meg kell határozni az értékét az (ùF2), majd a (F1Ú(ùF2)), majd ((F1Ú(ùF2)) ®F3), és végül (((F1Ú(ùF2)) ®F3) «F4)

Példa: Dana képletű F = F1F2F3ÚùF1®F3 «F1. Szükséges, hogy az összes a zárójelben.

1) tegye a merevítő képletet, amely végrehajtja a tagadás:

2) hogy a zárójelek egy formula, amely megvalósítja a működését összefüggésben:

3) melles hozott egy képletet, amely végrehajtja a műveletet diszjunkciót:

4) tegye a zárójel egy képletet, amely végrehajtja a működése kihatással:

5) tegye a zárójel egy képletet, amely végrehajtja a műveletet az egyenértékűség: