Implicent

Szablon:Dopracować Implicent – taki maksterm lub iloczyn makstermów, że funkcja przyjmuje wartość 0, gdy jego wartość wynosi 0.

Rząd implicentów

Rząd implicentów jest indukcyjnie zdefiniowany jak poniżej:

• Implicent rzędu 0 to maksterm;
• Implicent rzędu k powstaje z połączenia dwóch implicentów rzędu k-1

przy czym liczba makstermów wchodzących w skład implicentu rzędu k wynosi 2^k.

Funkcja z tabelą prawdy:

indeks	x2 x1 x0	wartość funkcji	makstermy
0	0 0 0	1
1	0 0 1	0	$x_2\vee x_1\vee {\overline{x}}_0$
2	0 1 0	0	$x_2\vee {\overline{x}}_1\vee x_0$
3	0 1 1	1
4	1 0 0	0	${\overline{x}}_2\vee x_1\vee x_0$
5	1 0 1	0	${\overline{x}}_2\vee x_1\vee {\overline{x}}_0$
6	1 1 0	1
7	1 1 1	0	${\overline{x}}_2\vee {\overline{x}}_1\vee {\overline{x}}_0$

posiada:

• 5 implicentów rzędu 0 (makstermy):
  • (1) = $x_2\vee x_1\vee {\overline{x}}_0$
  • (2) = $x_2\vee {\overline{x}}_1\vee x_0$
  • (4) = ${\overline{x}}_2\vee x_1\vee x_0$
  • (5) = ${\overline{x}}_2\vee x_1\vee {\overline{x}}_0$
  • (7) = ${\overline{x}}_2\vee {\overline{x}}_1\vee {\overline{x}}_0$
• 3 implicenty rzędu 1:
  • (1,5) = $x_1\vee {\overline{x}}_0$
  • (4,5) = ${\overline{x}}_2\vee x_1$
  • (5,7) = ${\overline{x}}_2\vee {\overline{x}}_0$

Zobacz też

• implikant funkcji boolowskiej
• implicent prosty
• implicent istotny