Makstermom (. Sau disjuncție elementar Di sau constituent al zero) este o sumă logică a variabilelor directe și inverse, cu fiecare variabilă are loc în sumă doar o singură dată.
Numărul Mintermov makstermov și un număr predeterminat de argumente se potrivește cu numărul de seturi diferite de argumente N = 2 n.
Proprietăți mintermov și makstermov:
1. Între indicii i și makstermov mintermov omonimă n Boolean variabile au următoarele relații :. . unde subscriptului i - număr zecimal corespunde codului binar corespunzător unei combinații de valori ale argumentelor.
2. Suma logică a tuturor mintermelor pentru orice număr de variabile este egală cu una.
3. Produsul logic al tuturor maximilor oricarui numar de variabile este zero.
4. Produsul logic al mintermelor cu indicatori diferiți este zero, adică Qi · Qj = 0. când i. j.
5. Suma logică a mușchilor inegali este una; Di + Dj = 1. când i. j.
Pentru a construi PDNF FCDHF funcție logică de n variabile definite de tabelul de adevăr, este necesar pentru fiecare set de variabile pe care funcția ia valoarea 1, înregistrarea conjuncția - tipul minterm și toate aceste conjuncții pentru a conecta semne de disjuncție. În acest caz, variabilele care au o valoare de zero sunt inversate. . , unde i sunt numerele zecimale corespunzătoare acelor seturi de argumente pe care F = Fi = 1.
Pentru a construi SKNF FCKHF funcție logică de n variabile definite de tabelul de adevăr, este necesar ca fiecare set de variabile pe care funcția este setată la 0, scrie disjuncției - tip maksterm și toate astfel de disjuncție conecta semne de colaborare. În acest caz, variabilele care au o valoare de una sunt inversate:. unde i sunt numerele zecimale corespunzătoare acelor seturi de argumente pe care F = Fi = 0.
Relațiile de bază ale algebrei booleene.