Logická funkce

Logická funkce je funkce, která pro konečný počet vstupních parametrů vrací logické hodnoty.

Používá se v oboru teorie řízení a číslicové techniky, v praxi pak například v mikroprocesorové technice. Parametry logické funkce jsou logické proměnné.

Přiřazuje-li logická funkce výstupní hodnoty všem kombinacím vstupních logických proměnných, pak se nazývá úplně zadaná logická funkce; v opačném případě se nazývá neúplně zadaná logická funkce. Kombinace vstupních logických proměnných, k níž není určena hodnota výstupní logické fukńkce, se nazývá neurčitý stav.

Pro n logických proměnných lze definovat 2²ⁿ logických funkcí.

Funkce jedné proměnné

f₀ = 0 konstanta
f₁ = x přímá proměnná
f₂ = ¬x negovaná proměnná
f₃ = 1 konstanta
¬ = negace
Funkce dvou proměnných

osa = osa negace Za touto osou se nacházejí tytéž funkce, ale v znegovaném tvaru.

f₀ = 0 konstanta
f₁ = A*B (logický součin, AND)
f₂ = ¬(A implikuje B)
f₃ = A přímá proměnná
f₄ = ¬(B implikuje A)
f₅ = B přímá proměnná
f₆ = ¬A*B+A*¬B nonekvivalence
f₇ = A+B (logický součet, OR)

f₁₃ = implikace
¬ = negace

[editovat] Úplný systém logických funkcí

pomocí daných operátorů lze realizovat tři logické funkce AND, NOT (NON)a OR

Úplný systém logických funkcí

AND a NOT
chybí OR
použijeme De Morganův zákon

OR a NOT
chybí AND
použijeme De Morganův zákon

NAND
chybí NOT, OR, AND
NOT :
AND :
OR  :

NOR
chybí NOT, OR, AND
NOT :
AND :
OR  :

[editovat] zápis logických funkcí

1. pravdivostní tabulkou
2. logickou rovnicí
3. mapou (Karnaughova)

[editovat] Související články

• Kontradikce
• Logická proměnná
• Logický obvod
• Logická operace
• Logická rovnice
• pravdivostní tabulka