| Nyelv : |
|
| Enciklopédia közösség |Enciklopédia válaszok |Küldje el kérdését |Szókincs |Feltöltés ismeretek |
Szétválasztó |
   |
|
A logikai, diszjunktív normálforma (DNF) egy logikai formula szabványosítás (vagy normalizálás), ez a szétválás a konjunktív feltételek. Mint kanonikus, hasznos az automatizált tétel ellenŒrzés. A logikai formula minősül DNF akkor és csak akkor, ha egy vagy több szöveget egy vagy több összekötő szétválás. A CNF (CNF), mint a DNF javaslat operátorok AND, OR és nem. Non-operátor használható része a szöveg, ami azt jelenti, hogy csak akkor vezet a propozicionális változó.Alapvető tartalmát Ez a rész a javaslat az n-változós formula két kanonikus reprezentáció módszer. Követelmények: Tudjon egyszerű szétválás, egyszerű kötőszavak, diszjunktív, konjunktív normál koncepció Mély megértése kisebb tárgyak, egy nagy tétel definíciókat, neveket, index és igaz (hamis) feladat kapcsolat Proficiency Lord szétválás (fő összekötő) paradigma megközelítés. Arra törekszik, azzal a fő szétválasztó formula igaz megbízást hamis feladat, milyen típusú formula annak megállapítására, hogy a két képlet azonos. Diszjunktív és konjunktív normál Definíció 2.2 propozicionális változók és a negatív együttesen szöveget. Által alkotott csak korlátozott számú szöveges hívják az egyszerű diszjunkcióját diszjunkcióját. Csak korlátozott számú szöveges álló kötőszavak nevű egyszerű kötőszavak. Például, a szöveg: p, q ┐, r, q. Egyszerű szétválás: p, q, p ∨ q, p ∨ ┐ p ∨ r ┐ p ∨ q ∨ ┐ r. Egyszerű összekötő formula: p, ┐ r ┐ p ∧ r ┐ p ∧ q ∧ r, p ∧ q ∧ ┐ q. Tétel 2.1 (a) egy egyszerű diszjunkció tautológia IFF ez is tartalmaz egy propozicionális változót és tagadás. (2) egy egyszerű formula konjunktív ellentmondás akkor és csak akkor, ha ez is tartalmaz egy propozicionális változót és tagadás. Definíció 2.3 (a) egy véges számú egyszerű konjunktív képlet, amely diszjunkcióját nevű szétválasztó. (2) A véges egyszerű szétválás kötőszavak formában nevű CNF. (3) A diszjunktív és konjunktív normál formában nevezik a paradigma. Például diszjunktív: (p ┐ ∧ q) ∨ r ┐ p ∧ q ∧ r, p ∨ ┐ q ∨ r. CNF: (p ∨ q ∨ r) ∧ (┐ q ∨ r), ┐ p ∧ q ∧ r, p ∨ ┐ q ∨ r. Tétel 2.2 (a) a diszjunktív normálforma ellentmondás akkor és csak akkor, ha minden az egyszerű kötőszavak ellentmondás. (2) a CNF tautológia akkor és csak akkor, ha minden egyes egyszerű szétválás tautológia. Paradigm Jellemzők: (A) nem jelenik meg összekötő paradigmában → «, keresek paradigma lehet szüntetni: A → Bó ┐ A ∨ B A «Bó (┐ A ∨ B) ∧ (A ∨ ┐ B) (2) nem jelenik meg a következő formában paradigma képlet: ┐ ┐ A, ┐ (A ∧ B) ┐ (A ∨ B) |
| Használó Felülvizsgálati |
|
Nincs még hozzászólás |
