Vieme matiku
Prejsť na cvičenie:
Rozhodovačka
Prejsť na tému:
Úpravy logických výrazov
Zobraziť na celú obrazovku
Precvičujte neobmedzene

Váš denný počet odpovedí je obmedzený. Pre navýšenie limitu alebo prístup do svojho účtu s licenciou sa prihláste.

Prihlásiť sa
Zobraziť súhrn témy
EZU
Zdieľať
Zobrazit nastavenie cvičení

QR kód

QR kód je možné naskenovať napr. mobilným telefónom a tak sa dostať priamo k danému cvičeniu alebo sade príkladov.

Kód / krátka adresa

Trojznakový kód je možné napísať do vyhľadávacieho riadka, tiež je súčasťou skrátenej adresy.

Skopírujte kliknutím.

EZU
viemeto.eu/EZU

Nastavenie cvičení

Pozor, nastavenie je platné iba pre toto cvičenie a predmet.

viemeto.eu/EZU

Úpravy logických výrazov

Prepis implikácie a ekvivalencie

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)

Negovanie zložených výrokov

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)

Pravidlá pre negáciu disjunkcie a konjunkcie (2. a 3. riadok tabuľky) sa nazývajú De Morganove zákony.

Analogické zákony ako pri počítaní s číslami

Pre logické operácie \wedge, \vee tiež platia komutatívne (1. a 2. riadok nasledujúcej tabuľky), asociatívne (3. a 4. riadok) a distributívne zákony (5. a 6. riadok):

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)
Zatvoriť

Úpravy logických výrazov (ťažké)

NAPÍŠTE NÁM

Ďakujeme za vašu správu, bola úspešne odoslaná.

Napíšte nám

Neviete si rady?

Najprv sa, prosím, pozrite na časté otázky:

Čoho sa správa týka?

Odkaz Obsah Ovládanie Prihlásenie Licencia