funcție dublă
Acest subiect apartine forumului:
Setul este un set de obiecte distinctive determinate nnyh M fiind astfel încât, pentru fiecare set posibil aparține obiectului prezent. O multitudine de general notate cu litere latine de capital și elemente. De exemplu.
Ce facem cu materialul obținut:
Toate subiectele acestei secțiuni:
funcţia caracteristică
Indicatorul funktsiyaili intrinseca prezintă elemente care aparțin setului (sau desemnat). Funcția caracteristică este gol
dovada grafică
Pentru a construi probele grafice necesare pentru a desena diagrama Euler-Venn toate seturile cu privire la identitatea într-un mod care le-ar fi participat la toate intersecțiile posibile,
Relația.
n-ary relație R pe seturi este un subset al produsului direct. În cazul în care seturile sunt aceleași, atunci spunem că relațiile seturi n-are. Când n = 2 pentru
relație goală.
Operații asupra relației: Crossing Supliment Artwork Combinând: relație inversă cu R:
algebra logica
Sistemul algebric (algebră) - abur
Formulele de algebră a logicii.
Declarații atomice sunt indicate prin litere mici și se numesc variabile propoziționale (sau Boolean). Formulele de algebra logicii numita formula propozitionala. formula yavl
adevăr de masă.
O valoare Boolean este determinată prin formula dată valorile logice ale situațiilor sale elementare membre. Exemplu. x1 = 1, x2 = 1, x3 = 0. Se determină valoarea formulei
formula echivalentă
Două formule de algebra logicii numite echipotente dacă acestea iau aceleași valori logice pentru fiecare set de valori ale declarațiilor elementare incluse în
Identitatea de bază (în valoare formulă) logica algebra.
xÙy = yÙx; xÚy = yÚx - x commutesÙ(yÙz) = (xÙy)Ùz; xÚ(yÚz) = (xÚy) Úz; - asociat
funcție dublă
Functia g (x1. Xn) = ¬f (¬x1. ¬xn) se numește funcția duală a unei funcții f și este notat cu f *.
funcții de sistem complet (ligamente).
Sistemul de funcții este completă dacă orice funcție booleană n-ary poate fi scris ca formula propozitionala folosind doar funcțiile incluse în sistem. sisteme
forme normale disjunct și conjunctive.
conjuncție elementară se numește o conjugare a variabilelor propoziționale și (sau) negațiile acestora. De exemplu: dizyunktsieynazyvaets elementare
Teorema de identic adevărate formule de algebra logicii.
Pentru a formula Boolean a fost identic cu adevăr, este necesar și suficient ca fiecare disjuncție elementar formele sale normale conjunctive cuprinde cel puțin un E
Teorema privind falsity identitate formula Boolean
Pentru a formula Boolean a fost identic cu fals dacă și numai dacă fiecare conjuncției sale elementar DNP cuprinde cel puțin un vyskazyv alternativ elementar
Formularul perfect normal.
formă normală disjunctivă perfectă. conjunctie elementară se numește adecvată în cazul în care fiecare variabilă apare mai mult decât o dată,
Construirea și PDNF SKNF.
Construcție PDNF: 1. Conversia formula de intrare în DNF (vezi mai sus): Etapa 1. Conversia la formula inițială echivalentă mintea ei
Conversia DNP în PDNF.
Pasul 3. Dacă DNF are mai multe conjuncții elementare identice, vom lasa doar una - această transformare conduce la o formulă echivalentă. deoarece xVx = x.
Conversia la CNF SKNF.
Pasul 3. În cazul în care CNF are mai multe disjuncții elementare identice. ne lasa doar una - această transformare conduce la o formulă echivalentă, în mod inutil. xx = x.
Construirea unui formular perfect normal, folosind tabele de adevăr
Pentru a construi PDNF SKNF sau pe baza teoremei privind descompunerea funcțiilor logice ale variabilelor n algebră peste variabile k (k = n), puteți utiliza tabele de adevăr. pentru construirea
Construirea unei forme perfecte normala conjunctiva.
Să o anumită funcție booleană de n variabile. Luați în considerare negarea funcțiilor și. deoarece formula obținută Boolean formulă este apoi extinde variabilele sale n. obține
Tautologii și contradicții. Problema solvabilitatii de algebra logicii. consecințe logice.
Formula boolean se numește identitate adevărată, sau tautologie, în general, valabil în cazul în care primește valoarea 1 n
Teorema de identic adevărate formule de algebra logicii.
Pentru a formula Boolean a fost identic cu adevăr, este necesar și suficient ca fiecare disjuncție elementar formele sale normale conjunctive cuprinde cel puțin un E
Teorema privind falsity identitate formula Boolean
Pentru a formula Boolean a fost identic cu fals dacă și numai dacă fiecare conjuncției sale elementar DNP cuprinde cel puțin un vyskazyv alternativ elementar
Teorema privind consecința logică
Formula Boolean f este o consecință logică a formulei Boolean g, dacă și numai dacă g f. Dovada.
dovada de circuit principal
Figura 1: „Daca x este y» Dovada Teoremelor ca «dacă x, atunci y». Schiță a dovezii se bazează pe următoarele consecințe logice.
Minimizarea funcțiilor booleene. Formularea canonică a unei probleme de minimizare. etape de reducere la minimum. Tehnici de minimizare.
Minimizarea funcțiile de algebra logicii (PAL) - o procedură pentru identificarea cea mai simpla reprezentare a FAL ca o suprapunere a funcțiilor care alcătuiesc Fun
metode de minimizare
Acesta este în prezent pe scară largă adoptată: 1. Metoda de calcul (o metodă de reforme imediate). 2. Metoda de numerar tabel (metoda Quine-McCluskey). 3. Met
etape a minimiza
In general, minimizarea FAL definite în procedurile PDNF necesită următoarele trei etape: 1 etapă - trecerea de la condensat la PDNF DNP (SokrDNF). SokrDNF - o formă de membri FAL de
calculul predicatelor
Cele mai utilizate pe scară largă în sistemele de inteligență artificială a primit un sistem formal, care poartă numele de calculul predicatelor de ordinul întâi (STI). Alfabetul STI constând
Valoarea formulei logicii predicatelor.
La valoarea logică a predicatului formule logice se poate vorbi numai atunci când primesc un set de M, care sunt definite în această formulă predicate. O valoare logica predicatelor Boolean cu formula
Descriere mașină Turing
Mașină specifică Turing este setat listarea set de elemente alfabet A, Q set de stări și un set de reguli prin care operează aparatul. Ei au forma: qiaj