Nadřazené | Diskrétní matematika » Logika » Vyhodnocování logických výrazů |
Předcházející | Dosazování do výrazů, Logika: pojmy a značení |
Navazující | Úpravy logických výrazů, Kvantifikátory |
Cvičení
RozhodovačkaPravdivostní tabulka logických operací
A | B | A \vee B | A \wedge B | A \Rightarrow B | A \Leftrightarrow B |
---|---|---|---|---|---|
0 | 0 | 0 | 0 | 1 | 1 |
0 | 1 | 1 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 |