Minterm

Szablon:Integracja Minterm – term składający się z literałów połączonych logicznym symbolem koniunkcji, który dla dokładnie jednej kombinacji wejść danej funkcji przyjmuje wartość 1. Minterm zawiera wszystkie literały danej funkcji.

Możliwe mintermy

Do każdej funkcji boolowskiej $f(x_1,x_2,...,x_n)$ z $n$ literałami (zmiennymi boolowskimi) istnieje maksymalnie $2^n$ mintermów.

W przypadku trzech zmiennych mintermy brzmią następująco, przy czym ${\overline{x}}_i$ to literał zanegowany:

indeks	x3x2x1	minterm
0	0 0 0	${\overline{x}}_3\wedge {\overline{x}}_2\wedge {\overline{x}}_1$
1	0 0 1	${\overline{x}}_3\wedge {\overline{x}}_2\wedge x_1$
2	0 1 0	${\overline{x}}_3\wedge x_2\wedge {\overline{x}}_1$
3	0 1 1	${\overline{x}}_3\wedge x_2\wedge x_1$
4	1 0 0	$x_3\wedge {\overline{x}}_2\wedge {\overline{x}}_1$
5	1 0 1	$x_3\wedge {\overline{x}}_2\wedge x_1$
6	1 1 0	$x_3\wedge x_2\wedge {\overline{x}}_1$
7	1 1 1	$x_3\wedge x_2\wedge x_1$

Mintermy vs. makstermy

Każdą funkcję logiczną $f$ można zapisać jako sumę mintermów. Mintermy są wtedy ujęte jako człony dysjunkcyjnej postaci normalnej. W poniższym przypadku postać ta przyjmuje formę:

$\mathrm{DPN}=f(x_3,x_2,x_1)=$ $({\overline{x}}_3\wedge {\overline{x}}_2\wedge {\overline{x}}_1)\vee ({\overline{x}}_3\wedge x_2\wedge x_1)\vee (x_3\wedge {\overline{x}}_2\wedge {\overline{x}}_1)\vee (x_3\wedge {\overline{x}}_2\wedge x_1)\vee (x_3\wedge x_2\wedge x_1).$

Odpowiednio funkcja może też zostać przedstawiona jako iloczyn makstermów, gdzie makstermy są ujęte jako człony koniunkcyjnej postaci normalnej. W poniższym przypadku postać ta przyjmuje formę:

$\mathrm{KPN}=f(x_3,x_2,x_1)=$ $(x_3\vee x_2\vee {\overline{x}}_1)\wedge (x_3\vee {\overline{x}}_2\vee x_1)\wedge ({\overline{x}}_3\vee {\overline{x}}_2\vee x_1).$

indeks	x3x2x1	wartość funkcji	minterm	maksterm
0	0 0 0	1	${\overline{x}}_3\wedge {\overline{x}}_2\wedge {\overline{x}}_1$
1	0 0 1	0		$x_3\vee x_2\vee {\overline{x}}_1$
2	0 1 0	0		$x_3\vee {\overline{x}}_2\vee x_1$
3	0 1 1	1	${\overline{x}}_3\wedge x_2\wedge x_1$
4	1 0 0	1	$x_3\wedge {\overline{x}}_2\wedge {\overline{x}}_1$
5	1 0 1	1	$x_3\wedge {\overline{x}}_2\wedge x_1$
6	1 1 0	0		${\overline{x}}_3\vee {\overline{x}}_2\vee x_1$
7	1 1 1	1	$x_3\wedge x_2\wedge x_1$

Notacja

Oprócz powyżej przedstawionej dysjunkcyjnej postaci normalnej mintermy można zanotować również jako listę indeksów konkretnej funkcji, dla których przyjmuje ona wartość 1:

$f=\mathrm{MINt}(0,3,4,5,7).$

Zobacz też

• implikant
• maksterm