Formula (sau sootvetstvuyuschayaey funcția) este numită fezabilă, dacă aceasta nu este o identitate guvernamentală zero sau una. Decizia de un număr finit de întrebare de acțiune dacă această formulă este satisfiable, t. E. Fie că nu este identic zero sau unu, găzduiește Project-set solubilitate problemă.
Răspunsul la această întrebare poate fi obținut prin construirea unei formule pentru acest tabel de mapare, care se ridică în mod esențial pentru a descuraja divid formula pentru toate seturile posibile de valori ale variabilelor sale membre. În cazul în care toate dintr-un set de formule Prien durează doar valorile 0 sau 1 numai, nu este fezabilă.
Cu un număr mare de variabile acestei metode impracticabile din cauza numărului mare de posibile seturi de variabile. mod mai convenabil - pentru a aduce formula la forma, nici-mal. Dacă în cursul formulei de reducere nu devine identic cu 0 sau 1, atunci acesta indică fezabilitatea acestuia.
Pentru setul de variabile se numește o unitate constitutivă de expresie, iar expresia - un constituent zero (adică fie sau). Această unitate de constituent (zero) se referă la unul (zero) numai atunci când unul dintre corespunzător prezent acesta set de variabile, care se obține în cazul în care se presupune că toate variabilele să fie una (zero), iar negarea lor - zero (unitate). De exemplu, o unitate constitutivă de funingine-sponds la un set (1011), un constituent zero - set (1001).
Deoarece perfectă disjunctiv (conjunctiva) În mod normal formează o disjuncție (conjuncția) constituenți ai unității (zero), se poate argumenta că o funcție f Boolean () este reprezentat de ea devine unitate (zero), numai în cazul în care seturile de valori variabile corespunzătoare acestor constituenți. Pe celelalte seturi ale acestei funcții este zero (unu).
Converse este de asemenea adevărat, care se bazează pe metoda de reprezentare în formula orice funcție booleană dată de masă. Pentru a face acest lucru, trebuie să scrie disjuncției (conjuncția) de constituenți ai unității (zero), setul corespunzător de variabile-ZNA Cheny pe care ia funcția de o unitate de valoare egală-ING (zero).
Exemplu. Funcția de tabelă dată
corespund formă perfect normal:
Expresiile obținute pot fi transformate într-un alt viduna bazat pe proprietățile algebra booleană.