Implicent


Implicent w encyklopedii

Z Wikipedii, wolnej encyklopedii Przejdź do nawigacji Przejdź do wyszukiwania

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

Rząd implicentów | edytuj kod

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 2k.

Funkcja z tabelą prawdy:

posiada:

  • 5 implicentów rzędu 0 (makstermy):
    • (1) = x 2 x 1 x ¯ 0 {\displaystyle x_{2}\vee x_{1}\vee {\bar {x}}_{0}}
    • (2) = x 2 x ¯ 1 x 0 {\displaystyle x_{2}\vee {\bar {x}}_{1}\vee x_{0}}
    • (4) = x ¯ 2 x 1 x 0 {\displaystyle {\bar {x}}_{2}\vee x_{1}\vee x_{0}}
    • (5) = x ¯ 2 x 1 x ¯ 0 {\displaystyle {\bar {x}}_{2}\vee x_{1}\vee {\bar {x}}_{0}}
    • (7) = x ¯ 2 x ¯ 1 x ¯ 0 {\displaystyle {\bar {x}}_{2}\vee {\bar {x}}_{1}\vee {\bar {x}}_{0}}
  • 3 implicenty rzędu 1:
    • (1,5) = x 1 x ¯ 0 {\displaystyle x_{1}\vee {\bar {x}}_{0}}
    • (4,5) = x ¯ 2 x 1 {\displaystyle {\bar {x}}_{2}\vee x_{1}}
    • (5,7) = x ¯ 2 x ¯ 0 {\displaystyle {\bar {x}}_{2}\vee {\bar {x}}_{0}}

Zobacz też | edytuj kod

Na podstawie artykułu: "Implicent" pochodzącego z Wikipedii
OryginałEdytujHistoria i autorzy