diff --git a/Readme.md b/Readme.md
index 3984c0c..807c13e 100644
--- a/Readme.md
+++ b/Readme.md
@@ -16,7 +16,9 @@ Dieses Repo beinhaltet die $\LaTeX$ Informationen für die Zusammenfassung im Fa
   - [x] Normalisierung
 - [x] Fehlerbasiertes Lernen
 - [x] Backpropagation
-- [ ] Äquivalenztabelle (Aussagenlogik)
+- [x] Äquivalenztabelle aus Übung 5 (Aussagenlogik)
+- [x] Resolutionsalgorithmus (Hypothese wird negiert hinzugefügt)
+- [x] Äquivalenztabelle aus Übung 6 (Prädikatenlogik)
 
 ## Hinweise
 Requires you to enable [--shell escape](https://tex.stackexchange.com/questions/516604/how-to-enable-shell-escape-or-write18-visual-studio-code-latex-workshop)
diff --git a/chapters/Logik/Aussagenlogik.tex b/chapters/Logik/Aussagenlogik.tex
index c0fb894..f3bca15 100644
--- a/chapters/Logik/Aussagenlogik.tex
+++ b/chapters/Logik/Aussagenlogik.tex
@@ -26,8 +26,4 @@
 
     \section{Äquivalenzen}
     \label{aussagenlogik: aequivalenzen}
-        \begin{figure}
-            \vspace{-10mm}
-            \includegraphics[width = .8\textwidth]{aussagenlogik_äquivalenzen.png}
-            \vspace{-10mm}
-        \end{figure}
\ No newline at end of file
+        \includegraphics[width = .8\textwidth]{aussagenlogik_äquivalenzen.png}
\ No newline at end of file
diff --git a/chapters/Logik/Beweisverfahren.tex b/chapters/Logik/Beweisverfahren.tex
index bb00264..e5cf037 100644
--- a/chapters/Logik/Beweisverfahren.tex
+++ b/chapters/Logik/Beweisverfahren.tex
@@ -58,6 +58,8 @@
         \label{resolutionsalgorithmus}
             \begin{center}
                 \includegraphics[width = .6\textwidth]{resolutionsalgorithmus1.png}\\
+                Die Hypothese wird der Wissensbasis negiert hinzugefügt.
+                Falls sich die Klausel dann zur leeren Menge ableiten lässt ist die Hypothese bewiesen.\\
                 \includegraphics[width = .2\textwidth]{resolutionsalgorithmus2.png}
             \end{center}
 
diff --git a/chapters/Logik/Prädikatenlogik.tex b/chapters/Logik/Prädikatenlogik.tex
index e05118c..609c3f6 100644
--- a/chapters/Logik/Prädikatenlogik.tex
+++ b/chapters/Logik/Prädikatenlogik.tex
@@ -162,4 +162,5 @@
 
     \section{Resolutionsalgorithmus}
     \label{praedikatenlogik: resolutionsalgorithmus}
+        Wie bei der Aussagenlogik muss für die Resolution die negierte Hypothese der Wissensbasis hinzugefügt werden (\ref{resolutionsalgorithmus}).\\
         \includegraphics[width = .8\textwidth]{prädikatenlogik_resolutionsalgorithmus.png}
\ No newline at end of file
diff --git a/images/aussagenlogik_äquivalenzen.png b/images/aussagenlogik_äquivalenzen.png
index 158466e..5b49efb 100644
Binary files a/images/aussagenlogik_äquivalenzen.png and b/images/aussagenlogik_äquivalenzen.png differ
diff --git a/images/pränexform_äquivalenzen.png b/images/pränexform_äquivalenzen.png
index f09c36f..8f7c991 100644
Binary files a/images/pränexform_äquivalenzen.png and b/images/pränexform_äquivalenzen.png differ