PDNF és sknf

előző ◈ a következő

Tökéletes Diszjunktív normál forma és
tökéletes konjunktív normál forma

Elemi összefüggésben az úgynevezett összefüggésben számos változó, kombinálva tagadás vagy anélkül tagadása, amely lehet azonos változók közötti: ¬ X X; X ¬ Z; ¬ X Y ¬ Z;
Elemental diszjunkciót diszjunkciót nevezett több változó kombinálva tagadás vagy anélkül tagadása, és azok között, ugyanazon változók lehetnek: ¬ RKJxVx; XV ¬ Z; ¬ X V Y V ¬ Z;
Minden elemi diszjunkció kötőszavak úgynevezett diszjunktív normál forma (DNF): (X X Ø Y) Ú(OX Z)
Minden elemi összefüggésben diszjunkcióban nevezett konjunktív normál forma (CNF): (X VX V ¬ Y) (¬ XVZ)
C overshennoy DNP nevezett DNP amelyben nem azonos elemi kötőszavak és az összes kötőszavak áll egy és ugyanazon sor változók, hogy az egyes változó csak egyszer (esetleg tagadás) X Y ¬ ZVX Y Z
C overshennoy úgynevezett CNF CNF, amelyek azonos elemi diszjunkcióban és minden diszjunkcióban áll egy és ugyanazon sor változók, hogy az egyes változó csak egyszer (esetleg tagadás)
(¬ X VY V Z) (X V ¬ Y V Z.

Semmit, kivéve a konstansok 0 és 1, úgy reprezentálható, mint mind PDNF és SKNF

Egy algoritmust megszerzésére igazság táblázat PDNF

  1. TI jegyezni azokat a vonalakat az utolsó oszlopban, amelyek 1:
  2. Írja minden egyes kiválasztott sor összefüggésben az összes változók az alábbi módon: ha az érték egy változó a sorban = 1, összefüggésben önmagában tartalmazza ezt, ha = 0, a negáltja:
  3. Minden kapott összefüggésben kell kapcsolni egy diszjunkció:

Egy algoritmust megszerzésére igazság táblázat SKNF

TI jegyezni azokat a vonalakat az utolsó oszlopban, amelyek 0:
  • Írja minden egyes kiválasztott sor diszjunkcióját összes változó az alábbi módon: ha a változó értékét az adott sorban = 0, akkor ez a szétválasztás tartoznak a változtatható magát, ha = 1, a negáltja:

  • Minden beérkezett diszjunkciót társult összefüggésben:

    • Feladatok az önálló munkavégzésre

    Három tanár kiválasztott feladatokat az Olimpia. Lehet választani több feladatot. Az egyes célok az egyes tanárok nyilvánított véleményt: egy nem-agy - (0), vagy nehéz (1). A feladat tartalmazza a feladat, amely, ha legalább két tanár fogja ünnepelni, mint egy nehéz, de ha mind a három tanár nehéz, egy ilyen feladat nem szerepel a verseny feladat túl nehéz.

    Kiváló szerkezeti képlettel és a működési diagramja az eszköz, amely termel a kimenet 1, ha a feladat szerepel a munkát Diákolimpia és 0, ha nincs engedélyezve.

    előző ◈ a következő