Для булевої функції з n {\displaystyle n} змінних ( x 1 , … , x n {\displaystyle {x_{1},\dots ,x_{n}}} ), елементарна кон'юнкція, в якій кожна з n {\displaystyle n} змінних набуває значення одиниці лише на одному з кортежів своїх змінних називається мінтермом (конституентою одиниці). Отже, мінтерм це логічний вираз, який використовує лише операцію доповнення та операцію кон'юнкції. Кількість різних мінтермів дорівнює кількості кортежів змінних, тобто 2n для n змінних. Наприклад, a b c {\displaystyle abc} , a b ′ c {\displaystyle ab'c} і a b c ′ {\displaystyle abc'} — три з восьми мінтермів для булевої функції з трьох змінних(a,b i c). Читаються ці вирази як «a і b і c», «a і не b і c „ a і b і не c“ відповідно.
Кожний мінтерм має свій індекс, заснований на двійковому кодуванню(індекс показує скільки бітів (одиниць) було додано до мінтерму). Значення 1 присвоюється змінній ( x i {\displaystyle x_{i}} ), відповідно 0 присвоюється змінній( x i ′ {\displaystyle x'_{i}} ). Щоб краще це зрозуміти розглянемо кілька прикладів. Мінтерму a b c ′ {\displaystyle abc'} (110) присвоюють індекс 6 m 6 {\displaystyle m_{6}} (до нього було додано шість одиниць), m 0 {\displaystyle m_{0}} з тих самих трьох змінних означає a ′ b ′ c ′ {\displaystyle a'b'c'} (000), а m 7 {\displaystyle m_{7}} — a b c {\displaystyle abc} (111).
Очевидно, що мінтерм n дає істинне значення (наприклад,1) тільки для однієї комбінації вхідних змінних. Наприклад, m 5 {\displaystyle m_{5}} ( a b ′ c {\displaystyle ab'c} ) є істинним лише коли a {\displaystyle a} і c {\displaystyle c} є істинним, а b ′ {\displaystyle b'} — хибним, тобто a {\displaystyle a} і c {\displaystyle c} дорівнюють 1, а b {\displaystyle b} дорівнює 0.
Побудуємо таблицю істинності для деяких трьох змінних та функції суми бітів(sum), вона буде виглядати так:
Тепер запишемо мінтерми цієї функції(ті кортежі змінних, де функція набуває істинного значення). Такими будуть m 1 , m 2 , m 4 , {\displaystyle m_{1},m_{2},m_{4},} та m 7 {\displaystyle m_{7}} . Тоді функцію s u m ( a , b , c ) {\displaystyle sum(a,b,c)} ми можемо представити у вигляді чотирьох мінтермів: s u m ( a , b , c ) = m 1 + m 2 + m 4 + m 7 = ( a ′ b ′ c ) + ( a ′ b c ′ ) + ( a b ′ c ′ ) + ( a b c ) {\displaystyle sum(a,b,c)=m_{1}+m_{2}+m_{4}+m_{7}=(a'b'c)+(a'bc')+(ab'c')+(abc)} .