diff --git a/Formelsammlung.pdf b/Formelsammlung.pdf
index 67536cf..51e32ee 100644
Binary files a/Formelsammlung.pdf and b/Formelsammlung.pdf differ
diff --git a/Formelsammlung.tex b/Formelsammlung.tex
index 3d41aa8..81e62db 100644
--- a/Formelsammlung.tex
+++ b/Formelsammlung.tex
@@ -179,7 +179,7 @@ $\cfrac{1}{2}\sqrt{2} \cong 0.70710678$ und $\cfrac{1}{2}\sqrt{3} \cong 0.866025
 		$A \subseteq B$ &  & A ist Teilmenge von B \\
 		$A \cup B$ & A vereinigt B & $A \cup B = \lbrace x \vert x \in A$ oder $x \in B \rbrace$ \\
 		$A \cap B$ & A geschnitten B & $A \cap B = \lbrace x \vert x \in A$ und $x \in B \rbrace$ \\
-		$A \setminus B$ & A ohne B & $A \cup B = \lbrace x \vert x \in A$ und $x \notin B \rbrace$ \\
+		$A \setminus B$ & A ohne B & $A \setminus B = \lbrace x \vert x \in A$ und $x \notin B \rbrace$ \\
 		$\mathcal{P}(A)$ & Potenzmenge A & Potenzmenge der Menge A\\
 		$A \in B$ & A Element von B & A ist ein Element von B\\
 		$A \notin B$ & A kein Element von B & A ist nicht in B enthalten \\
@@ -292,9 +292,13 @@ $\cfrac{1}{2}\sqrt{2} \cong 0.70710678$ und $\cfrac{1}{2}\sqrt{3} \cong 0.866025
 	\ctrule
 	Umwandeln & $A \wedge B = \neg \left( A \rightarrow \neg B \right)$ \\
 	& $A \vee B = \neg A \rightarrow B $ \\
+	& $A \rightarrow B = \neg A \vee B$ \\
 	& $A \leftrightarrow B  = \left( A \wedge B \right) \vee \left(\neg A \wedge \neg B \right)$ \\
 	& $A \leftrightarrow B  = \left( \neg A \vee B \right) \wedge \left(A \vee \neg B \right)$ \\
 	\ctrule
+	Vereinfachen & $A \wedge \neg A = $ immer Falsch! \\
+	& $A \vee \neg A = $ immer Richtig! \\
+	& $A \wedge \neg A \vee B \wedge A = B \wedge A$ \\
 	\end{tablebox}
 
 \subsection{Beispiel}