Mercurial > 13ws.ds
changeset 18:8408cf61d46b
fix error in equivalences
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Wed, 13 Nov 2013 14:33:22 +0100 |
parents | 099613ee2f37 |
children | 845ff8b2cbc6 |
files | notes/tex/basics.tex |
diffstat | 1 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/notes/tex/basics.tex Tue Nov 12 00:34:55 2013 +0100 +++ b/notes/tex/basics.tex Wed Nov 13 14:33:22 2013 +0100 @@ -807,7 +807,7 @@ \begin{description}[Triviale Kontradiktion\quad] \item[Identität] $\F \wedge \true \equiv \F \spc \F \vee \false \equiv \F$ - \item[Dominanz] $\F \vee \true \equiv \true \spc \F \wedge \false \equiv \F$ + \item[Dominanz] $\F \vee \true \equiv \true \spc \F \wedge \false \equiv \false$ \item[Idempotenz] $\F \vee \F \equiv \F \spc \F \wedge \F \equiv \F$ \item[Doppelte Negation] $\neg \neg \F \equiv \F$ \item[Triviale Tautologie] $\F \vee \neg \F \equiv \true$ @@ -834,7 +834,7 @@ %\vspace{-2em} %\begin{align} %\F \wedge \true &\equiv \F \spc \F \vee \false \equiv \F \tag{\structure{Identität}}\\ - %\F \vee \true &\equiv \true \spc \F \wedge \false \equiv \F \tag{\structure{Dominanz}}\\ + %\F \vee \true &\equiv \true \spc \F \wedge \false \equiv \false \tag{\structure{Dominanz}}\\ %\F \vee \F &\equiv \F \spc \F \wedge \F \equiv \F \tag{\structure{Idempotenz}}\\ %\neg \neg \F &\equiv \F \tag{\structure{Doppelte Negation}}\\ %\F \vee \neg \F &\equiv \true \tag{\structure{Triviale Tautologie}}\\