Un mintermine (o anche termine-prodotto, o p-termine) è una funzione booleana che assume il valore 1 per una ed una sola permutazione del vettore di input.
Tipicamente un mintermine viene espresso come il prodotto logico degli argomenti di una funzione di riferimento, opportunamente affermati o negati in modo da farlo corrispondere ad una precisa combinazione di valori.
Secondo il teorema di Shannon tutte le funzioni booleane di variabili possono essere espresse come somma di prodotti logici, e quindi come somma dei mintermini associati.
Infatti se sono i valori che la funzione deve assumere in corrispondenza della configurazione associata all'indice allora:
Sono esempi di mintermine:
| n | x | y | z |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 |
| 2 | 0 | 1 | 0 |
| 3 | 0 | 1 | 1 |
| 4 | 1 | 0 | 0 |
| 5 | 1 | 0 | 1 |
| 6 | 1 | 1 | 0 |
| 7 | 1 | 1 | 1 |
Ad esempio:
Un mintermine può essere scritto come con .
Un mintermine può essere diverso da uno stesso mintermine ma con numero di ingressi diverso . Ad esempio può essere diverso da .