DNF - l
De exemplu, următoarele formule sunt înregistrate în DNF:
formă normală disjunctivă este convenabil pentru dovada automată a teoremelor.
Aducerea formula Boolean la DNF
Orice formula Boolean poate fi redusă la un DNF. Cu toate acestea, dimensiunea unei formule Boolean poate crește exponențial. Astfel, de exemplu, 2 n conjunctie nevoie să atribuie următoarea formulă:
O gramatica formală care descrie DNF
Următoarea gramatica formală descrie toate formulele date în DNF:
<ДНФ> → <конъюнкт> <ДНФ> → <ДНФ> ∨ <конъюнкт> <конъюнкт> → <литерал> <конъюнкт> → (<конъюнкт> ∧ <литерал>) <литерал> → <терм> <литерал> → ¬<терм>
unde <терм> denotă o variabilă booleană arbitrar.
Vezi ce „DNF“ în alte dicționare:
DNF - dinitrofenol ... dicționar de abrevieri în limba română
Algebra logicii - sistem algebric. metode de decizii logice. sarcini, precum și un set de probleme care trebuie rezolvate prin astfel de metode. A. l. în sensul strict al cuvântului algebrice. (Un tabel, o matrice) a clădirii clasice. logica propozitiilor, care se ocupă cu ... ... Filozofic Enciclopedia
Logica algebră - secțiune a logicii matematice, enunț de învățare, văzut din partea de valoare logică (adevărat sau fals), și operații logice pe ele. A. l. Acesta are originea la mijlocul secolului al 19-lea. în scrierile lui Ioan. Boole (A se vedea. Boule) și a dezvoltat ... ... Marea Enciclopedie sovietică
formă normală disjunctivă - (DNF) într-o formă normală logică Boolean în care o formulă Boolean este o disjuncție de conjuncții de literali. Orice formula Boolean poate fi redus la DNP. [1] Puteți utiliza legea negație dublă, legea dreptului de Morgan ... ... Wikipedia
expresii booleene - Teoria sistemelor funcționale discrete ale funcției booleene se numește o funcție de tip. în cazul în care un set Boolean și n întreg nenegativ, care se numește aritatea funcției sau de teren. Elementele 1 (unu) și 0 (zero) este interpretat ca standard ... ... Wikipedia
Funcția boolean - Acest articol sau secțiune este o listă de surse sau legături externe, dar surse individuale declarații rămân neclare din cauza lipsei de note de subsol ... Wikipedia
Karnaugh harta - Fig. Exemplul 1 Cuba Cub Carnot Carnot mod grafic pentru a minimiza comutare funcții (Boolean), oferă o operație relativ simplă cu expresii mari și eliminarea potențialelor rase. Este o operațiune în perechi ... ... Wikipedia
Zhegalkin polinom - zhegalkin polinom polinom peste inelul. adică polinomul cu coeficienți în formă de 0 și 1, în cazul în care produsul este luat conjuncție, și ca adăugarea de sau exclusiv. Polinomial a fost propus în 1927 ... ... Wikipedia
PDNF - (formă normală disjunctivă perfectă) este o astfel de DNF, care îndeplinește trei condiții: nu au aceleași conjuncțiile elementare în fiecare conjuncție nu este aceleași litere propoziționale fiecare conjuncție elementară conține ... ... Wikipedia
- matematică discretă și logica matematică Partea I. Evgeniya Filenko. Acest lucru include informațiile de bază și model exemplele necesare în următoarele secțiuni, dintre care unele nu sunt suficient tratate în literatura de specialitate existente: 1. Seturile de ... Citește mai mult Vand (numai Ucraina) pentru 4887 UAH