Logické výrazy
NNOV tomto tématu pracujeme s logickými výrazy s formálním značením (např. A or B), přičemž některé logické spojky značíme pomocí anglických slov (and, or, not). Toto značení je v informatice běžné, používá se například v mnohých programovacích jazycích. Téma dělíme na následující podtémata:
- Logické spojky a pravdivostní tabulky – význam jednotlivých logických spojek, přepisování z běžného jazyka do informatické notace (and, or, not, xor, ⇒, ⇔)
- Vyhodnocování logických výrazů – vyhodnocení složených výrazů kombinujících více logických spojek
- Úpravy logických výrazů – přepis na ekvivalentní výraz, který vypadá jinak, ale má vždy stejnou pravdivostní hodnotu
- Logické odvozování s výrazy – odvozování závěrů z předpokladů, kterých může být i více
Práci s logickými výroky si můžete dále procvičit i v různých jiných zápisech:
- Logické výroky slovy – výroky v běžném jazyce
- Logika na Umíme matiku – práce s výroky v matematické notaci (∧,∨,¬)
- Logické výrazy v Pythonu – práce s logickými výrazy v kontextu programování
Rozhodovačka
Rychlé procvičování výběrem ze dvou možností.
Přesouvání
Přesouvání kartiček na správné místo. Jednoduché ovládání, zajímavé a neotřelé úlohy.
Krok po kroku
Doplňování jednotlivých kroků v rozsáhlejším postupu.
Porozumění
Čtení textů, odpovídání na otázky testující porozumění textu.
Logické obvody
Logické výrazy: mix
Doplňování textu
Krátké texty, do kterých doplňujete na vybraná místa správnou variantu ze dvou možností.
Binární křížovka
Vyplňte do křížovky nuly a jedničky a splňte všechny podmínky.