Booleova logika

Z Wikipedie, otevřené encyklopedie

Booleova logika se zabývá logickými operacemi na množině {0, 1}. Jejím rozšířením je pak Booleova algebra.

[editovat] Definice logických funkcí

logická tabulka

A B OR AND XOR \implies
0 0 0 0 0 1
0 1 1 0 1 1
1 0 1 0 1 0
1 1 1 1 0 1
  • OR 1 = 1 + 0 – logický součet – pokud je při výpočtu použita jednička, je vždy výsledek 1
  • AND 0 = 1 * 0 – logický součin – pokud je při vypočtu použita nula, je výsledek vždy 0
  • NOT 1 = NOT ( 0 ) – negace – cokoli je zadáno, bude mít po provedení operace opačnou hodnotu
  • XOR 1 = 1 + 0 – nonekvivalence – pokud nejsou operandy shodné, je výsledek 1, jinak 0
  • \implies- Implikace