# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1384349602 -3600
# Node ID 8408cf61d46b2e91612ad161ed9ac54514f57753
# Parent  099613ee2f37e2ae65e1014a92bbd3619f4bf469
fix error in equivalences

diff -r 099613ee2f37 -r 8408cf61d46b notes/tex/basics.tex
--- 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}}\\