Logické spojky a pravdivostní tabulky
Pravdivostní hodnoty
V informatice používáme většinou zaměnitelně následující:
- 1 = true = pravda
- 0 = false = nepravda
Logické spojky
\text{ not } X |
negace |
neplatí X |
X \text{ and } Y |
konjunkce, a zároveň |
X a Y platí současně |
X \text{ or } Y |
disjunkce, nebo |
platí alespoň jedno z X a Y |
X \text{ xor } Y |
exkluzivní nebo |
platí právě jedno z X a Y |
X \Rightarrow Y |
implikace, jestliže-pak |
pokud platí X, pak platí i Y |
X \Leftrightarrow Y |
ekvivalence, právě když |
X platí právě tehdy, když platí Y |
Pravdivostní tabulka logických operací
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
Zavřít