Megfelelő átváltási - studopediya
Egyenértékű konverziós - átalakítás segítségével ekvivalens arányok és a helyettesítés a szabály.
Két csere szabályai:
1. rendelet F képletű helyettesítve a x változó. Behelyettesítve a képlet az x változó f összes előfordulását x a kezdeti aránya egy időben kell cserélni képletű f.
2. Csere szabály subformulae. Ha bármely képlet F. leíró függvény # 966;. tartalmaz f1, mint egy alegysége, a csere az egyenértékű F1 F2 (f1 = f2) nem változik a függvény # 966; .
Az alapvető ekvivalens arány (törvények) a Boole algebra.
Asszociativitása összefüggésben és a diszjunkció:
Kommutativitás kötőszó és a diszjunkció:
Disztributivitás összefüggésben tekintetében diszjunkciót:
Disztributivitás kapcsolatos összefüggésben diszjunkciót:
A törvény a kettős tagadás:
Tulajdonságai állandók 0 és 1:
De Morgan szabályok:
A törvény a kizárt harmadik:
Az alapvető ekvivalens arány (1) - (10) az jellemzi, hogy ezek levezethetők egymástól, és ezek az arányok elvégzéséhez szükséges bármely egyenértékű transzformációk.
Az egyszerűség kedvéért a képletekben is, a következő egyenértékű arányok kimenet a maghoz egyenértékű transzformációk:
Hozza a diszjunktív normál forma.
Elementary együtt - egy együttes változók vagy tagadás, amelyben minden változó egynél többször fordul elő.
Diszjunktív normál forma (DNF) - általános képletű, amelynek formájában elemi diszjunkcióját kötőszók.
Így a képletet, hogy DNP végezzük 4 fokozatban:
1. minden tagadás "pull", hogy a változók révén (6) és (8);
2., hogy felfedje a zárójelben útján (1) a (3), (4);
3. távolítsa el a felesleges összefüggésben és a kiújulás változók kötőszók segítségével (5), (9), (10);
4. eltávolítás állandók keresztül (7).
működtető eljárás DNP PDNF hasítási (segítségével (12) az ellenkező irányba) kötőszók amelyek nem minden változót.
Hozza a konjunktív normál forma.
Elementary szétválasztás - diszjunkcióját változók vagy azok tagadásuk, amelyben minden változó egynél többször fordul elő.
Konjunktív normál forma (CNF) - elemi összefüggésben diszjunkcióban.
Hagyja DNF F területén formájában F = k1 Úk2 Ú...Úkm. ahol k1, k2, ..., km - elemi kötőszavak. Hoz DNF a CNF két lépésből áll:
1. Alkalmazza F szabály kettős negatív és olyan DNF k ¢ 1 Ú A k ¢ 2 Ú... k ¢ p ¢ 1, ahol a k Ú A k ¢ 2 Ú... k ¢ p - elemi kötőszavak. majd
2. A szabályok megszabadulni de Morgan második tagadását és tagadás átalakítani elemi kötőszavak elemi diszjunkció D1, D2, ... Dp Aztán
Tökéletes CNF (SKNF) - CNF, ahol minden egyes elemi diszjunkció tartalmazza az összes változót.