\documentclass[12pt]{article}
\usepackage{amsmath,amssymb}
\parindent0em
\pagestyle{empty}
\begin{document}
\Large
    \begin{center}
	Zur SOPE einiger Boolescher Funktionen
    \end{center}
$\text{SOPE}(n,k)$ : Summe aus $n$ Summanden mit $k$ Literalen pro 
Summand

\bigskip

$\mathbf{a} = (a_{1},a_{2},\ldots,a_{q})$,
$\mathbf{b} = (b_{1},b_{2},\ldots,b_{q})$ usw.
seien Vektoren von $q$ Booleschen Variablen.

\begin{itemize}
    \item
    $\mathbf{a} \neq \mathbf{b}$ hat $\text{SOPE}(2q,2)$:
    \begin{eqnarray*}
	\mathbf{a} \neq \mathbf{b}
	& \equiv
	& (a_{1} \neq b_{1}) \vee (a_{2} \neq b_{2})
	\vee \ldots \vee (a_{q} \neq b_{q})\\
	& \equiv
	& \bigvee_{i=1}^{q} (a_{i} \overline{b_{i}} \vee \overline{a_{i}} 
	b_{i})
    \end{eqnarray*}
    \item
    Folgerung:
    $(\mathbf{a} \neq \mathbf{b}) \wedge (\mathbf{c} \neq \mathbf{d})$ 
    hat $\text{SOPE}(4 q^2,4)$
    \item
    Folgerung:
    \[
    \left[
    (\mathbf{a} \neq \mathbf{b}) \vee (\mathbf{c} \neq \mathbf{d})
    \right]
    \wedge
     \left[
    (\mathbf{e} \neq \mathbf{f}) \vee (\mathbf{g} \neq \mathbf{h})
    \right]
    \]
    hat $\text{SOPE}(16 q^2,4)$
    \item
    Folgerung:
    \[
    \overline{
    \left[
    (\mathbf{a} = \mathbf{b}) \wedge (\mathbf{c} = \mathbf{d})
    \right]
    \wedge
     \left[
    (\mathbf{e} = \mathbf{f}) \wedge (\mathbf{g} = \mathbf{h})
    \right]
    }
    \]
    hat $\text{SOPE}(16 q^2,4)$
    \item
    Folgerung:
    \[
    \overline{
    \left[
    (\mathbf{x} = \mathbf{c}) \wedge (\mathbf{y} = \mathbf{e})
    \right]
    \vee
     \left[
    (\mathbf{x} = \mathbf{e}) \wedge (\mathbf{y} = \mathbf{d})
    \right]
    }
    \]
    hat $\text{SOPE}( \leq 16 q^2,4)$
\end{itemize}
\end{document}