Vyhodnocování logických výrazů (těžké)
- Cvičení: Rozhodovačka
- Zadání: 52
- Typicky zabere: 7 min
Předchůdci
Dosazování do výrazů
Rozhodovačka: těžkéVyhodnocování logických výrazů
Rozhodovačka: středníPodobné
Vyhodnocování logických výrazů
Rozhodovačka: středníÚpravy výrazů s jednou proměnnou
Rozhodovačka: těžkéLogika: pojmy a značení
Rozhodovačka: středníÚpravy logických výrazů
Rozhodovačka: těžkéLogika: mix
Rozhodovačka: středníLogika: mix
Rozhodovačka: těžkéKvantifikátory
Rozhodovačka: těžkéLogické výroky
Rozhodovačka: středníLogika: pojmy a značení
Pexeso: středníObrázkové důkazy
Porozumění0/4
Následníci
Úpravy logických výrazů
Rozhodovačka: těžkéKvantifikátory
Rozhodovačka: těžkéNáhledy
Předchůdci
Podobné
Úpravy výrazů s jednou proměnnou
Logika: mix
Obrázkové důkazy
Součet lichých
Logické výroky
Buďto budou dnes k obědu knedlíky, nebo nebudou dnes k obědu knedlíky.
tautologiekontradikceÚpravy logických výrazů
Logika: pojmy a značení
nebo | konjunkce | vždy pravdivý výrok |
ekvivalence | jestliže, pak | implikace |
vždy nepravdivý výrok | disjunkce | právě když |
kontradikce | a zároveň | tautologie |
Vyhodnocování logických výrazů
Kvantifikátory
Není všechno zlato (Z), co se třpytí (T).
Logika: pojmy a značení
platí A i B současněplatí jeden z A a B
Logika: mix