Speciális matematika (p
2.1.4. Az előadás nyilatkozatok
1. Forma A1ÚA2Ú.ÚAN. ahol Ai - elemi kijelentés vagy megtagadása elemi kijelentések (szó) nevezzük elemi diszjunkció.
2. Forma B1 × B2 ×. × Bn. ahol Bi - szó szerinti, az úgynevezett elemi összefüggésben.
3. Forma D1 × D2 ×. × Dn. ahol Dj - elemi diszjunkció nevezik konjunktív normál forma (CNF).
4. K1 formájánakÚK2Ú.ÚKn. ahol kj - elemi összefüggésben az úgynevezett diszjunktív normál forma (DNF).
Mindig igaz (minden értékrend alkotó elemi kijelentések) komplex feladat nevezzük tautológia.
Mindig hamis (bármilyen értékrend alkotó elemi kijelentések) nyilatkozatot nevezzük ellentmondás.
Tökéletes CNF (SKNF) nevű CNF, hogy minden egyes tagja volt elemi diszjunkció minden elemi kijelentések közvetlenül vagy inverzió szigorúan egyszer. Nem ismételjük diszjunkcióban. Bármilyen összetett állítás, kivéve tautológia egy egyszemélyes SKNF.
Tökéletes DNF (PDNF) nevű DNP, hogy minden egyes tagja volt elemi együtt tartalmazza az összes elemi kijelentések közvetlenül vagy inverzió szigorúan egyszer. Nem ismétlődő kötőszavak. Bármilyen összetett kijelentés, de a vita csak PDNF.
2.1.5. Conversion nyilatkozatok
Egy komplex megnyilatkozás képviselt tetszőleges formában equipollences 11 és 16, valamint a De Morgan törvények átalakíthatók a szokásos formában.
Átalakítás CNF SKNF.
Vázlatosan el lehet képzelni az alapötlet az átalakítás az alábbiak szerint:
Átalakítása DNP a PDNF.
Vázlatosan el lehet képzelni az alapötlet az átalakítás az alábbiak szerint:
Konvertálása PDNF a SKNF.
Tekintsük a következő példát:
Vegyük a logikai függvény f (komplex mondat) a PDNF és a kivitelezést a tagadása ez a funkció, azaz a. E. Az f függvény, hogy leírják az összes alkotórészt egységek nem f.
Hagyja, hogy a forma
Mnemonic eszköz - ez a szám az összetevők, amelyeket kapunk, ha nézni az összetevők bináris számokat.
Tagadás funkciója írásban ki megszerzi a hiányzó összetevőket (hiányzó bináris számok).
Most kell alkalmazni a tagadás a funkciót.