%Teilweise Erzeugt mit dem LaTeX-Generator: http://latex.sehnot.de

%Schriftgröße, Layout, Papierformat, Art des Dokumentes
\documentclass[10pt,oneside,a4paper]{scrartcl}

%Einstellungen der Seitenränder
\usepackage[left=2cm,right=2cm,top=1.5cm,bottom=1.5cm,includeheadfoot]{geometry}

%neue Rechtschreibung
\usepackage[ngerman]{babel}

%Umlaute ermöglichen
\usepackage[utf8]{inputenc}

%Gesamtseitenzahl
\usepackage{lastpage}

% Kopf- und Fußzeile
\usepackage[automark]{scrpage2}

%Quellcode-Listings
\usepackage{listings}

%Hyperlinks
\usepackage{hyperref}

\usepackage{setspace}
\usepackage{multicol}

% Schriftarten für fettes Monospace
%\usepackage[T1]{fontenc}
%\usepackage{lmodern}

%Kopfzeile
\ihead{Technische Informatik}
\chead{}
\ohead{http://kohnlehome.de/informatik/logische-verknuepfung.pdf}
\setheadsepline{0.5pt}

%Fußzeile
\setfootsepline{0.5pt}
\ifoot{Franz Kohnle}
\cfoot{Seite \thepage\ von  \pageref{LastPage}}
\ofoot{\today}

\pagestyle{scrheadings}

\begin{document}

% Überschrift 
\begin{center}
\LARGE % Schriftgröße
\bfseries % Fettdruck
\sffamily % Serifenlose Schrift
Logische Verknüpfungen
\end{center}

\section*{Elementare Grundoperationen}

\subsection*{AND (Konjunktion)}
\renewcommand{\arraystretch}{1.3}
\begin{tabular}{c c | c}
A & B & $A \land B$\\ \hline
0 & 0 & 0\\
0 & 1 & 0\\
1 & 0 & 0\\
1 & 1 & 1
\end{tabular}

\subsection*{OR (Disjunktion)}
\begin{tabular}{c c | c}
A & B & $A \lor B$\\ \hline
0 & 0 & 0\\
0 & 1 & 1\\
1 & 0 & 1\\
1 & 1 & 1
\end{tabular}

\subsection*{NOT (Negation)}
\begin{tabular}{c | c}
A & $\lnot A$\\ \hline
0 & 1\\
1 & 0
\end{tabular}

\section*{Alle zweistelligen booleschen Funktionen}

\renewcommand{\arraystretch}{1.3}
\begin{tabular}{c c  c  c ||  c | c | l}
1 & 1 & 0 & 0 & A & &\\
1 & 0 & 1 & 0 & B & &\\ \hline \hline
0 & 0 & 0 & 0 & 0 & 0-Funktion & Kontradiktion\\
0 & 0 & 0 & 1 & $\lnot (A \lor B)$ & NOR & Nihilition\\
0 & 0 & 1 & 0 & $A < B$ & nur B & Inhibition von B\\
0 & 0 & 1 & 1 & $\lnot A$ & NOT A & Negation von A\\
0 & 1 & 0 & 0 & $A > B$ & nur A & Inhibition von A\\
0 & 1 & 0 & 1 & $\lnot B$ & NOT B & Negation von B\\
0 & 1 & 1 & 0 & $A \dot\lor B$ & XOR & Kontravalenz\\
0 & 1 & 1 & 1 & $\lnot (A \land B)$ & NAND & Exklusion\\
1 & 0 & 0 & 0 & $A \land B$ & AND & Konjunktion\\
1 & 0 & 0 & 1 & $A \leftrightarrow B$ & XNOR & Äquivalenz\\
1 & 0 & 1 & 0 & B & B & Identität von B\\
1 & 0 & 1 & 1 & A $\rightarrow$ B & A $\rightarrow$ B & Implikation\\
1 & 1 & 0 & 0 & A & A & Identität von A\\
1 & 1 & 0 & 1 & A $\leftarrow$ B & A $\leftarrow$ B & Replikation\\
1 & 1 & 1 & 0 & $A \lor B$ & OR & Disjunktion\\
1 & 1 & 1 & 1 & 1 & 1-Funktion & Tautologie
\end{tabular}





\end{document}
