Umíme matiku
Přejít na cvičení:
Rozhodovačka
Přejít na téma:
Úpravy logických výrazů
Zobrazit na celou obrazovku
Procvičujte neomezeně

Váš denní počet odpovědí je omezen. Pro navýšení limitu či přístup do svého účtu s licencí se přihlaste.

Přihlásit se
Zobrazit shrnutí tématu
EZU
Sdílet
Zobrazit nastavení cvičení

QR kód

QR kód lze naskenovat např. mobilním telefonem a tak se dostat přímo k danému cvičení nebo sadě příkladů.

Kód / krátká adresa

Tříznakový kód lze napsat do vyhledávacího řádku, také je součástí zkrácené adresy.

Zkopírujte kliknutím.

EZU
umime.to/EZU

Nastavení cvičení

Pozor, nastavení je platné pouze pro toto cvičení a předmět.

umime.to/EZU

Úpravy logických výrazů

Přepis implikace a ekvivalence

Výrok Ekvivalentní výrok
A\Rightarrow B \neg A\vee B
A\Rightarrow B \neg B\Rightarrow \neg A
A\Leftrightarrow B (A\wedge B)\vee (\neg A \wedge \neg B)

Negování složených výroků

Výrok Ekvivalentní výrok
\neg (\neg A) A
\neg (A\vee B) \neg A\wedge \neg B
\neg (A\wedge B) \neg A\vee \neg B
\neg (A\Rightarrow B) A\wedge \neg B
\neg (A\Leftrightarrow B) (\neg A\wedge B)\vee(A \wedge \neg B)

Pravidla pro negaci disjunkce a konjunkce (2. a 3. řádek tabulky) se nazývají De Morganovy zákony.

Analogické zákony jako při počítání s čísly

Pro logické operace \wedge, \vee také platí komutativní (1. a 2. řádek následující tabulky), asociativní (3. a 4. řádek) a distributivní zákony (5. a 6. řádek):

Výrok Ekvivalentní výrok
A \wedge B B \wedge A
A \vee B B \vee A
(A \wedge B) \wedge C A \wedge (B \wedge C)
(A \vee B) \vee C A \vee (B \vee C)
A \wedge (B \vee C) (A \wedge B) \vee (A \wedge C)
A \vee (B \wedge C) (A \vee B) \wedge (A \vee C)
Zavřít

Úpravy logických výrazů (těžké)

NAPIŠTE NÁM

Děkujeme za vaši zprávu, byla úspěšně odeslána.

Napište nám

Nevíte si rady?

Nejprve se prosím podívejte na časté dotazy:

Čeho se zpráva týká?

Vzkaz Obsah Ovládání Přihlášení Licence