kétfunkciós
Ez a témakör tartozik a fórumban:
A készlet egy sor megkülönböztethető tárgyakat határoztuk nnyh M olyan, hogy minden egyes lehetséges set tartozik az objektum jelen van. A több, lényegében jelöljük tőke latin betűkkel és elemek. Például.
Mit tegyünk a kapott anyag:
Minden téma ebben a szakaszban:
karakterisztikus függvény
Intrinsic funktsiyaili kijelző mutatja tartozó elemek (vagy a kijelölt). A karakterisztikus függvény üres
grafikai igazolás
A konstrukció a grafikus bizonyítékokat kell hívni a diagram Euler-Venn minden lenyugszik a személyazonosságát oly módon, hogy volna részt velük minden lehetséges csomópontok
Kapcsolat.
n-ed rendű kapcsolatban R meghatározza egy részhalmaza a közvetlen termék. Ha a halmazok azonosak, akkor azt mondjuk, hogy a sorozatok n-ed rendű kapcsolatok. Ha n = 2
Üres kapcsolatban.
Műveletek a kapcsolatot: Crossing kiegészítésében kombinálása Artwork: fordított viszonyban R:
logikai algebra
Algebrai rendszer (algebra) - gőz
A képletek matematikai logika.
Atomic kimutatások kisbetűkkel jelöljük, és az úgynevezett propozicionális (vagy logikai) változók. A képletek a matematikai logika úgynevezett propozicionális képlet. képletű yavl
igazság táblázat.
Logikai érték határozza meg a képlet adott logikai értékekkel tag elemi kijelentéseket. Példa. x1 = 1, x2 = 1, x3 = 0. Határozzuk meg az érték a képlet
egyenértékű formula
Két képletek matematikai logika úgynevezett equipotens ha elviszik ugyanazt a logikai értékek minden egyes értékrend elemi kijelentések szerepelnek
Alapvető azonosság (összegű formula) algebra logika.
xÙy = yÙx; xÚy = yÚX - X ingázásokÙ(yÙz) = (xÙy)Ùz; xÚ(yÚz) = (xÚy) Úz; - társult
kétfunkciós
A funkció g (x1. Xn) = ¬f (¬x1. ¬xn) az úgynevezett kettős funkciója egy f függvény, és jelöli f *.
Teljes rendszer funkciói (szalagok).
A rendszer funkciók teljes, ha minden n-ed rendű Boole-függvény felírható propozicionális képletű, csak a funkciók a rendszer tartalmazza. rendszerek
Diszjunktív és konjunktív normálforma.
Elementary együtt hívják összefüggésben propozicionális változók és (vagy) a tagadással. Például: elemi dizyunktsieynazyvaets
Tétel azonosan igaz formulák matematikai logika.
A Boole-formula azonos volt az igazság, szükséges és elégséges, hogy minden egyes elemi diszjunkciót annak konjunktív normálforma tartalmaz legalább egy E
A tétel az identitás hamisság formula logikai
A Boole-formula azonos volt hamis, ha, és csak akkor, ha minden egyes elemi összefüggésben DNP tartalmaz legalább egy elemi váltakozó vyskazyv
Teljesen normális formában.
Tökéletes diszjunktív normál forma. Elementary összefüggésben az úgynevezett helyes, ha minden változó egynél többször fordul elő,
Építő és PDNF SKNF.
Építőipari PDNF: 1. Convert bemeneti formula DNF (lásd fent): 1. lépés Konvertálás egyenértékű eredeti formula agya
Átalakítása DNP a PDNF.
3. lépés: Ha DNF több azonos elemi kötőszavak, hagyjuk csak egy - ez az átalakulás vezet azonos képlet. mert RKJxVx = x.
Átalakítás CNF SKNF.
Lépés 3. Ha a CNF több azonos elemi diszjunkcióban. hagyjuk csak egy - ez az átalakulás vezet ugyanolyan készítmény, szükségtelenül. xx = x.
Épület egy teljesen normális űrlapot igazság táblák
A konstrukció PDNF SKNF alapján vagy a tétel a bomlási logikai függvények n-változós algebra felett k változó (k = n), akkor az igazság táblák. építkezéshez
Épület egy tökéletes konjunktív normál forma.
Hagyja Boole-függvény n-változós. Tekintsük a tagadás funkciók és. mivel a kapott általános képletű Boole képletű ezután bővíti n változók. kap
Tautológiák és ellentmondások. A probléma a megoldhatóságának hogy a matematikai logika. Logikus következtetéseket.
Boole-formulával nevezzük valódi kilétét, vagy általánosan érvényes tautológia, ha megkapja az értékét 1 n
Tétel azonosan igaz formulák matematikai logika.
A Boole-formula azonos volt az igazság, szükséges és elégséges, hogy minden egyes elemi diszjunkciót annak konjunktív normálforma tartalmaz legalább egy E
A tétel az identitás hamisság formula logikai
A Boole-formula azonos volt hamis, ha, és csak akkor, ha minden egyes elemi összefüggésben DNP tartalmaz legalább egy elemi váltakozó vyskazyv
A tétel a logikus következménye,
A képlet a Boole-f egy logikus következménye képletű Boole g, akkor és csak akkor, ha G F. Bizonyítás.
Főáramkör igazolás
1. ábra: „Ha x y» igazolása Elvek, mint a »ha x, akkor Y«. Vázlat a bizonyítás alapján az alábbi logikai következményeket.
Minimalizálása Boole-függvények. A kanonikus készítmény egy minimalizálási problémát. minimalizálás szakaszaiban. minimalizálás technikák.
Minimalizálása funkcióit matematikai logika (PAL) - eljárást találni a legegyszerűbb ábrázolása FAL mint szuperpozíció funkciók teszik ki a Fun
minimalizálás módszerek
Ez jelenleg széles körben elfogadott: 1. Számítási módszer (a módszer azonnali reformok). 2. Cash-táblázatos módszerrel (Quine-McCluskey módszer). 3. Met
szakaszában minimalizálása
Általában, minimalizálás FAL meghatározott PDNF eljárások megköveteli a következő három lépésben: 1. szakasz - az átmenet a kondenzáljuk PDNF DNP (SokrDNF). SokrDNF - egyfajta FAL tagok
levezethető
A legszélesebb körben alkalmazott mesterséges intelligencia rendszerek kapott formális rendszer nevét viselő elsőrendű predikátum kalkulus (STI). Ábécé STI álló
Az érték a elsőrendű logika képlet.
A logikai értéke elsőrendű logika képletek csak beszélni, ha előre megadott M, melyek meghatározása ebben a képletben predikátumok. A Boole-elsőrendű logika értéke képletű
Leírás Turing-gép
Konkrét Turing-gép van beállítva felsorolja az ábécé meg az elemek egy, a beállított Q államok és egy sor szabályt, amellyel a gép működik. Ezek a következő formában: qiaj