diff --git a/Grafiken/3.1.png b/Grafiken/3.1.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/3.1.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/3.2.png b/Grafiken/3.2.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/3.2.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/3.3.png b/Grafiken/3.3.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/3.3.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/3.4.png b/Grafiken/3.4.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/3.4.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/3.5.png b/Grafiken/3.5.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/3.5.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/4.1.ggb b/Grafiken/4.1.ggb
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/4.1.ggb
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/4.1.png b/Grafiken/4.1.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/4.1.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/4.2.1.ggb b/Grafiken/4.2.1.ggb
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/4.2.1.ggb
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/4.2.2.ggb b/Grafiken/4.2.2.ggb
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/4.2.2.ggb
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/4.2.ggb b/Grafiken/4.2.ggb
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/4.2.ggb
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/4.2.png b/Grafiken/4.2.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/4.2.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/Band1G01.tikz b/Grafiken/Band1G01.tikz
index 3c8e5d7..df0b566 100644
--- a/Grafiken/Band1G01.tikz
+++ b/Grafiken/Band1G01.tikz
@@ -1,4 +1,4 @@
-%https://www.overleaf.com/learn/latex/LaTeX_Graphics_using_TikZ%3A_A_Tutorial_for_Beginners_(Part_4)%E2%80%94Circuit_Diagrams_Using_Circuitikz
+%https://www.overleaf.com/learn/latex/LaTeX_Graphics_using_TikZ%3A_A_Tutorial_for_Beginners_(Part_4)%E2%80%94Circuit_Diagrams_Using_Circuitikz
 
 \begin{circuitikz}[scale=1.2]
 %\ctikzset{misc/lampshape/height=0.75, misc/lampshape/width=0.75}
diff --git a/Grafiken/Band1G02.tikz b/Grafiken/Band1G02.tikz
index e71b977..e15dd46 100644
--- a/Grafiken/Band1G02.tikz
+++ b/Grafiken/Band1G02.tikz
@@ -1,4 +1,4 @@
-%https://www.overleaf.com/learn/latex/LaTeX_Graphics_using_TikZ%3A_A_Tutorial_for_Beginners_(Part_4)%E2%80%94Circuit_Diagrams_Using_Circuitikz
+%https://www.overleaf.com/learn/latex/LaTeX_Graphics_using_TikZ%3A_A_Tutorial_for_Beginners_(Part_4)%E2%80%94Circuit_Diagrams_Using_Circuitikz
 
 \begin{circuitikz}[scale=1.2]
 %\ctikzset{misc/lampshape/height=0.75, misc/lampshape/width=0.75}
diff --git a/Grafiken/Band1G03.tikz b/Grafiken/Band1G03.tikz
index 9a7dbb0..c102b65 100644
--- a/Grafiken/Band1G03.tikz
+++ b/Grafiken/Band1G03.tikz
@@ -1,4 +1,4 @@
-\begin{circuitikz}[circuit ee IEC relay]
+\begin{circuitikz}[circuit ee IEC relay]
 \draw (0,-0.25) node[] (UL) {}  to[short, o-*] (1,-0.25) 
 to [normal open switch,l=\scriptsize{$q$}, o-, n=SW1](1.5,-0.25) 
 to (2,-0.25)  to (2.5,-0.25) node [relay coil, rotate = 90,transform shape,yshift=-5mm](t2){}(3.5,-0.25) to [short,-o] (3.5,1.)
diff --git a/Grafiken/Bildschirmfoto vom 2023-08-20 21-23-20.png b/Grafiken/Bildschirmfoto vom 2023-08-20 21-23-20.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/Bildschirmfoto vom 2023-08-20 21-23-20.png	
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/Bildschirmfoto vom 2023-08-20 21-25-19.png b/Grafiken/Bildschirmfoto vom 2023-08-20 21-25-19.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/Bildschirmfoto vom 2023-08-20 21-25-19.png	
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/Bildschirmfoto vom 2023-08-20 21-25-37.png b/Grafiken/Bildschirmfoto vom 2023-08-20 21-25-37.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/Bildschirmfoto vom 2023-08-20 21-25-37.png	
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/Bildschirmfoto vom 2023-08-20 21-26-36.png b/Grafiken/Bildschirmfoto vom 2023-08-20 21-26-36.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/Bildschirmfoto vom 2023-08-20 21-26-36.png	
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/tab3.10.png b/Grafiken/tab3.10.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/tab3.10.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Grafiken/tab3.9.png b/Grafiken/tab3.9.png
deleted file mode 100644
index 8537307..0000000
--- a/Grafiken/tab3.9.png
+++ /dev/null
@@ -1 +0,0 @@
-Not Found
\ No newline at end of file
diff --git a/Logik.tex b/Logik.tex
index 9548f51..e64e29d 100644
--- a/Logik.tex
+++ b/Logik.tex
@@ -1,3 +1,6 @@
+
+%!TEX root=Band1.tex
+
 \chapter{Logik}
 Die nachfolgenden ausgewählten Bemerkungen zur Logik dienen in erster Linie dazu, den Leser zu befähigen, vorgelegte Sätze in besonderer Weise mit dem Ziel einer Formalisierung zu analysieren.
 
@@ -412,7 +415,7 @@ Zunächst kann man sich überlegen, daß es $2^4=16$ verschiedene Kombinationen
 	\end{center}
 \end{table}
 
-
+%%%%%%%%%%%%% Ende 17 ###########
 
 
 Wir sehen also, daß $t \rightarrow u$ nur bei genau einer der $16$ möglichen Wahrheitswertkombinationen falsch wird. Insbesondere ist also auch eine Aussage wie
@@ -433,7 +436,6 @@ Man schreibe in die erste Zeile die Zweiergruppen $F W \ldots$, in die zweite di
 \end{aufgabe}
 
 
-
 \subsection{Verbindungen von Aussageformen}
 Auch Aussageformen lassen sich durch Bindewörter neuen Aussageformen zuordnen. Dabei ist nur zu sichern, daß bei Einsetzung eines beliebigen konkreten Wertes $x_1$ der Variablen $x$ mit dem Bereich $X$ die "`Aussageformverbindung"' in eine Aussage aus $A_2$ übergeht.
 
@@ -442,13 +444,10 @@ Auch Aussageformen lassen sich durch Bindewörter neuen Aussageformen zuordnen.
 	$X=\{1 ; 2 ; 3 ; 4 ; 5 ; 5,1 ; 5,2 ; 6\}$
 	
 	\begin{enumerate}
-		\item $p(x)=$ "`$x$ ist eine ganze Zahl, und $x$ ist größer als $4$"'.
-		
+		\item $p(x)=$ "`$x$ ist eine ganze Zahl, und $x$ ist größer als $4$"'.\\
 		Es gilt: $w(p(5))=w(p(6))=W, w\left(p\left(x_1\right)\right)=F$ für $x_1 \in X, x_1 \neq 5 ; 6$.
-		
-		\item $p(x)=$ "`Wenn $x$ eine ganze Zahl ist, so ist $x$ größer als $4$"'.
-		
-		Es gilt: $w(p(1))=w(p(2))=w(p(3))=w(p(4))=F$,
+		\item $p(x)=$ "`Wenn $x$ eine ganze Zahl ist, so ist $x$ größer als $4$"'.\\
+		Es gilt: $w(p(1))=w(p(2))=w(p(3))=w(p(4))=F$,\\
 		$w(p(5))=w(p(5,1))=w(p(5,2))=w(p(6))=W$.
 		
 	\end{enumerate}
@@ -468,12 +467,46 @@ Auch Aussageformen lassen sich durch Bindewörter neuen Aussageformen zuordnen.
 	
 \end{beispiel}
 
-
 \begin{aufgabe}
 	\einrueckungm{20}{Man gebe die Aussageformverbindung
-		"`Falls $n$ eine Primzahl ist, so teilt 3 eine der Zahlen $n-1$ oder $n+1$"' mittels logischer Zeichen an und stelle für ein beliebiges festes $n$ die Wahrheitstabelle auf!}
+
+		\einrueckungm{30}{"`Falls $n$ eine Primzahl ist, so teilt 3 eine der Zahlen $n-1$ oder $n+1$"'}
+
+mittels logischer Zeichen an und stelle für ein beliebiges festes $n$ die Wahrheitstabelle auf!}
 \end{aufgabe}
 
+%%%%%%%%%%%%%%% Ende Seite 18 %%%%%%%%%%%%%%%%%%%%%
+Seite 19
+
+\section{Die wesentlichen logischen Zeichen und ihre technische Realisierung}
+\subsection{Logische Zeichen}
+
+Wir haben bereits in 3.3.1. einige wesentliche Kurzzeichen, die in der Logik zur Beschreibung von Aussagenverbindungen benutzt werden, angegeben.
+
+Wir wiederholen:
+$$
+\begin{array}{|ll}
+\bar{p} & - \text { nicht } p \\
+p \wedge q & -p \text { und } q \\
+p \vee q & -p \text { oder } q \\
+p \rightarrow q & - \text { wenn } p, \text { so } q \\
+p \leftrightarrow q & -p \text { genau dann, wenn } q
+\end{array}
+$$
+
+Die Zeichen ${ }^{-}, \wedge, \vee, \rightarrow, \leftrightarrow$ sind die Kurzzeichen (Funktoren) der Aussagenlogik. Darüber hinaus gibt es jedoch einige Zeichen, die insbesondere für mathematische Aussagen von Bedeutung sind. Dazu betrachten wir noch einmal eine Aussageform $p(x)$ mit dem Bereich $X$ der Variablen $x$.
+
+Es gibt außer der schon behandelten Möglichkeit, von der Aussageform $p(x)$ zu Aussagen überzugehen (einsetzen konkreter $x=x_1 \in X$ ), noch eine andere Möglichkeit, Aussagen mit Hilfe von $p(x)$ zu bilden. Diese Möglichkeit ergibt sich aus der Tatsache, daß beim Einsetzen spezieller $x=x_1 \in X$ in die Aussageform die drei folgenden Fälle eintreten können:
+1. Alle entstehenden Aussagen sind wahr,
+2. mindestens eine der entstehenden Aussagen ist wahr und mindestens eine ist falsch,
+3. alle entstehenden Aussagen sind falsch.
+
+Entsprechend definieren wir:
+
+
+Seite 19
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 Bisher haben wir nur die technischen Realisierungen der grundlegenden Verknüpfungen angegeben.
 
 Im allgemeinen steht aber die Frage, komplizierte Aussagenverbindungen auf der Basis dieser Grundverknüpfungen schaltungstechnisch zu realisieren und dabei möglichst geringen Aufwand zu treiben. Wir wollen das an zwei Beispielen illustrieren. Die Aussagenverbindungen