Logické výrazy

V 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í