
Úpravy logických výrazů
Nadřazené: Logika
Předcházející: Vyhodnocování logických výrazů
Navazující: Důkazy
Cvičení

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