Поняття про мінтерми і макстерми.
Аналітична форма.
При аналітичному способі запис функції робиться у вигляді окремих добутків і сум аргументів та їх інверсій. Наприклад:
f = х1·х2 v 
1·х2Ú3·х2·х1
Основні поняття:
Добуток булевих аргументів - булевий добуток. Елементарний булевий добуток - коли аргументи в нього входять один раз в прямій або інверсній формі. Наприклад:
х1·2; х1·х2·3 – елементарний добуток
х1·х1; х1·2·1; х1·х2·х3·3 — не є елементарним добутком
Кількість аргументів, які входять в елементарний добуток - довжина, або ранг елементарного добутку. Наприклад:
х1·х2·х3·4 - ранг 4, х1·х2 – ранг 2.
Мінтермом або конституєнта 1 - елементарний добуток ранга n.
Макстермом або конституєнта 0 - елементарна сума ранга n.
При запису мінтерма використовується літера m. При запису макстерма використовується літера М.
Літери записуються з індексом того набору, на якому даний мінтерм має значення 1, а макстерм - 0.
Наприклад:
х3·2·1 – мінтерм позначаєтся m4 (ранг 3)
(1 0 0)2 = (4)10
(х4 v 3 v 2 v х1) – М9 (ранг 4)
(1 0 0 1)2 = (9)10
Будь-яка булева функція може бути записана як сума мінтермів, або як добуток макстермів. Це і буде аналітичний вираз логічної функції.
Логічні функції від одного аргументу:
Кількість функцій визначається формулою 
, де n кількість аргументів
| х | f1(x) | f2(x) | f3(x) | f4(x) |
f1 = 0
f2 = x
f3 =
f4 =1
f1 – абсолютно ложна функція (константа нуля)
f2 – повторення значення логічної змінної (тотожна функція)
f3 – логічна інверсія, або функція НІ
f4 – абсолютна істина (константа одиниці).