20111018727

1.    Implikacja

2.    Równoważność

jr, -* x. * jr, + x,

X\++ Xi~ .V, • Xj + A*| • Xj

3. Nierówno ważność a*j ©as - a*j x₂ Aj x₂ Aj < > .\₂

4.    Funkcja zakazu (różnica niesymetryczna)

Aj Aa*2 ■ A'j \ A*2 = A*j • Xj = Xj —> Xj

5.    Funkcja Peirce’a a* i x, = a, • A, = x, + A*, NOR

6.    Funkcja Sheffera ■ a,jar, ■ a, + x, ■ a, • a, NAND

Każdą funkcję logiczną można przedstawić za pomocą argumenlól (0,1} i operacji logicznych „+ ", „• ” , „    " . jednakże realizacja tyc|

przekształceń nie zawsze jest prosta.

Definicja.    |H_

Minimalny zbiór takich funkcji, ze każda inna funkcja logiczna możel być przedstawiona /a pomocą jej argumentów, operacji tego minimalnego I zbioru oraz stałych neutrulnych 0 , I nazywa się Systemem Funkcjonalnie [ Pełnym (SFP)

Wnioski.

1.    Funkcja NOR tworzy system funkcjonalnie pełny.

2.    Funkcja NAND tworzy system funkcjonalnie pełny.

Przykłady.

Przedstawić:

1.    a, + x, przy pomocy NOR, NAND,

2.    .v, • x, przy pomocy NOR, NAND,

3.    x, "X, przy pomocy NOR,

4.    x, + A, przy pomocy NAND, i + x, • a, + A, • a, przy pomocy NOR NAND.