Úpravy logických výrazů


Nadřazené: Logika

Předcházející: Vyhodnocování logických výrazů

Navazující: Důkazy

Cvičení

Rozhodovačka

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.



Vysvětlení mi pomohlo   Vysvětlení mi nepomohlo

Rozhodovačka

Rychlé procvičování výběrem ze dvou možností.


Úpravy logických výrazů   


NAPIŠTE NÁM

Nevíte si rady?

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

Časté dotazy Návody pro rodiče Návody pro učitele

Čeho se zpráva týká?

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