Expresia (3.2) este scrisă cu ajutorul operațiilor logice de adiție (disjuncție), multiplicarea logică (conjuncția) și negație logică (inversiunea) care execută porți logice elementare, OR, AND și NOT respectiv. Pentru fiecare set unic se face produsul logic al variabilelor de intrare, în care are loc variabila cu inversia la zero valoarea sa pe platoul de filmare. Aceste produs logic sunt combinate și apoi Oring semnul (+ sau Ú ).
Fig. 3.2 prezintă tabelul de adevăr și simbolurile grafice condiționate cu două intrări și porți. Pe lângă cele de mai sus, utilizate pe scară largă în practică, AND-NOT, NOR, XOR. Funcția Logic ultima (funcția „nonequivalence“ sau modulo suma de două) în PDNF scrisă ca
funcții logice reprezentând disjuncție membrilor individuali, fiecare dintre care este o funcție care conține numai conjuncția, funcții logice numită o formă normală disjunctivă (DNF), de exemplu. În cazul în care fiecare membru al disjuncție forma normală a n argumente conține toate aceste argumente, dintre care unele intră în ea cu inversie, și unele - fără ea, o astfel de formă de reprezentare a unei funcții este perfectă formă normală disjunctivă (PDNF), de exemplu:
Fiecare combinație de disjuncție implică fiecare variabilă doar o singură dată în video înainte sau înapoi, referindu-se la unitatea sub un anumit set de variabile, și se numește minterm.
De obicei tranziția de la setarea tabel la funcția logică a înregistrării în PDNF (regula de intrare logica pentru unitățile funcționale) este după cum urmează:
1. Creați tabelul de adevăr mintermy pentru rândurile pe care funcția F este egal cu 1. Dacă valoarea în acest șir este 0, se înregistrează în minterme negarea acestei variabile.
2. Înregistrarea disjuncție compuse mintermov, care va fi funcția de comutație în PDNF.