Výroková logika
Sestavte výrok
Přidejte proměnnou nebo operátor
Proměnné
Závorky
Operátory
Úpravy
Ovládání klávesnicí
- abcd
- Vložit proměnnou (pokud existuje)
- (
- ( Levá kulatá závorka
- )
- ) Pravá kulatá závorka
- [
- [ Levá hranatá závorka
- ]
- ] Pravá hranatá závorka
- !~
- ¬ Negace – není pravda, že …
- &
- ∧ Konjunkce – … a zároveň …
- |
- ∨ Disjunkce – … nebo …
- >
- → Implikace – jestliže …, pak …
- =
- ↔ Ekvivalence – … právě tehdy, když …
- Backspace
- Smazat prvek před kurzorem nebo vybraný prvek
- Delete
- Smazat prvek za kurzorem nebo vybraný prvek
- ←
- Posunout kurzor vlevo
- →
- Posunout kurzor vpravo
- Esc
- Zrušit výběr prvku
Základní ekvivalence
Kliknutím na výrok jej vložíte na pozici kurzoru do sestavovaného výroku.
| Název | Výrok | je ekvivalentní s | Ekvivalentní výrok |
|---|---|---|---|
| De Morganův zákon (negace konjunkce) | ≡ | ||
| De Morganův zákon (negace disjunkce) | ≡ | ||
| Negace implikace | ≡ | ||
| Implikace pomocí disjunkce | ≡ | ||
| Obměna implikace | ≡ | ||
| Ekvivalence pomocí implikací | ≡ | ||
| Ekvivalence pomocí konjunkce a disjunkce | ≡ | ||
| Negace ekvivalence | ≡ | ||
| Dvojí negace | ≡ |