Лингвофорум

\begin{multline*}
y=\bar x_3 x_2 \bar x_1 x_0 \vee \bar x_3 \bar x_2 x_1 x_0 \vee \bar x_3 x_2 x_1 \bar x_0 \vee x_3 \bar x_2 x_1 \bar x_0 \vee x_3 \bar x_2 \bar x_1 x_0 \vee x_3 x_2 \bar x_1 \bar x_0 =
\vspace{10pt}

= \bar x_3 \bar x_2} \cdot x_1 x_0 \vee \bar x_3 \bar x_1 \cdot x_2 x_0 \vee \bar x_3 \bar x_0 \cdot x_2 x_1 \vee  x_3 x_1 \cdot \bar x_2 \bar x_0 \vee x_3 x_0 \cdot \bar x_2 \bar x_1 \vee x_3 x_2 \cdot \bar x_1 \bar x_0 =
\vspace{10pt}

=  \overline{(x_3 \vee x_2)} \cdot \overline{(\bar x_1 \vee \bar x_0)} \vee \overline{(x_3 \vee x_1)} \cdot \overline{(\bar x_2 \vee \bar x_0)} \vee \overline{(x_3 \vee x_0)} \cdot \overline{(\bar x_2 \vee \bar x_1)} \vee \\

\overline{(\bar x_3 \vee \bar x_1)} \cdot \overline{(x_2 \vee x_0)} \vee \overline{(\bar x_3 \vee \bar x_0)} \cdot \overline{(x_2 \vee x_1)} \vee \overline{(\bar x_3 \vee \bar x_2)} \cdot \overline{(x_1 \vee x_0)} =\\

= \overline{\overline{ \overline{\overline{\overline{\overline{\overline{\overline{\overline{(x_3 \vee x_2)}} \vee \overline{\overline{(\bar x_1 \vee \bar x_0)}}} \vee \overline{\overline{\overline{(x_3 \vee x_1)}} \vee \overline{\overline{(\bar x_2 \vee \bar x_0)}}}}} \vee \overline{\overline{\overline{\overline{\overline{(x_3 \vee x_0)}} \vee \overline{\overline{(\bar x_2 \vee \bar x_1)}}}  \vee}}}}}}\\

\overline{\overline{  \ovrline{\overline{\overline{\overline{ \vee  \overline{\overline{\overline{(\bar x_3 \vee \bar x_1)}} \vee \overline{\overline{(x_2 \vee x_0)}}} \vee \overline{\overline{\overline{(\bar x_3 \vee \bar x_0)}} \vee \overline{\overline{(x_2 \vee x_1)}}}}}}} \vee \overline{\overline{\overline{(\bar x_3 \vee \bar x_2)}} \vee \overline{\overline{(x_1 \vee x_0)}}} }}

\begin{multline*}
y=\bar x_3 x_2 \bar x_1 x_0 \vee \bar x_3 \bar x_2 x_1 x_0 \vee \bar x_3 x_2 x_1 \bar x_0 \vee x_3 \bar x_2 x_1 \bar x_0 \vee x_3 \bar x_2 \bar x_1 x_0 \vee x_3 x_2 \bar x_1 \bar x_0 =\\
= \bar x_3 \bar x_2} \cdot x_1 x_0 \vee \bar x_3 \bar x_1 \cdot x_2 x_0 \vee \bar x_3 \bar x_0 \cdot x_2 x_1 \vee  x_3 x_1 \cdot \bar x_2 \bar x_0 \vee x_3 x_0 \cdot \bar x_2 \bar x_1 \vee x_3 x_2 \cdot \bar x_1 \bar x_0 =\\
=  \overline{(x_3 \vee x_2)} \cdot \overline{(\bar x_1 \vee \bar x_0)} \vee \overline{(x_3 \vee x_1)} \cdot \overline{(\bar x_2 \vee \bar x_0)} \vee \overline{(x_3 \vee x_0)} \cdot \overline{(\bar x_2 \vee \bar x_1)} \vee \\
\overline{(\bar x_3 \vee \bar x_1)} \cdot \overline{(x_2 \vee x_0)} \vee \overline{(\bar x_3 \vee \bar x_0)} \cdot \overline{(x_2 \vee x_1)} \vee \overline{(\bar x_3 \vee \bar x_2)} \cdot \overline{(x_1 \vee x_0)} =\\
= \overline{\overline{ \overline{\overline{\overline{\overline{\overline{\overline{\overline{(x_3 \vee x_2)}} \vee \overline{\overline{(\bar x_1 \vee \bar x_0)}}} \vee \overline{\overline{\overline{(x_3 \vee x_1)}} \vee \overline{\overline{(\bar x_2 \vee \bar x_0)}}}}} \vee \overline{\overline{\overline{\overline{\overline{(x_3 \vee x_0)}} \vee \overline{\overline{(\bar x_2 \vee \bar x_1)}}}  \vee}}}}}}\\
\overline{\overline{  \ovrline{\overline{\overline{\overline{ \vee  \overline{\overline{\overline{(\bar x_3 \vee \bar x_1)}} \vee \overline{\overline{(x_2 \vee x_0)}}} \vee \overline{\overline{\overline{(\bar x_3 \vee \bar x_0)}} \vee \overline{\overline{(x_2 \vee x_1)}}}}}}} \vee \overline{\overline{\overline{(\bar x_3 \vee \bar x_2)}} \vee \overline{\overline{(x_1 \vee x_0)}}} }}
\end{multline*}

\documentclass{scrreprt}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\usepackage{amsmath}
\begin{document}
\section{Реализация в базисе Пирса}
\begin{multline}
y=\bar x_3 x_2 \bar x_1 x_0 \vee \bar x_3 \bar x_2 x_1 x_0 \vee \bar x_3 x_2 x_1 \bar x_0 \vee x_3 \bar x_2 x_1 \bar x_0 \vee x_3 \bar x_2 \bar x_1 x_0 \vee x_3 x_2 \bar x_1 \bar x_0 =\\
= \bar x_3 \bar x_2 \cdot x_1 x_0 \vee \bar x_3 \bar x_1 \cdot x_2 x_0 \vee \bar x_3 \bar x_0 \cdot x_2 x_1 \vee  x_3 x_1 \cdot \bar x_2 \bar x_0 \vee x_3 x_0 \cdot \bar x_2 \bar x_1 \vee x_3 x_2 \cdot \bar x_1 \bar x_0 =\\
=  \overline{(x_3 \vee x_2)} \cdot \overline{(\bar x_1 \vee \bar x_0)} \vee \overline{(x_3 \vee x_1)} \cdot \overline{(\bar x_2 \vee \bar x_0)} \vee \overline{(x_3 \vee x_0)} \cdot \overline{(\bar x_2 \vee \bar x_1)} \vee \\
\overline{(\bar x_3 \vee \bar x_1)} \cdot \overline{(x_2 \vee x_0)} \vee \overline{(\bar x_3 \vee \bar x_0)} \cdot \overline{(x_2 \vee x_1)} \vee \overline{(\bar x_3 \vee \bar x_2)} \cdot \overline{(x_1 \vee x_0)} =\\
= \overline{\overline{ \overline{\overline{\overline{\overline{\overline{\overline{\overline{(x_3 \vee x_2)}} \vee \overline{\overline{(\bar x_1 \vee \bar x_0)}}} \vee \overline{\overline{\overline{(x_3 \vee x_1)}} \vee \overline{\overline{(\bar x_2 \vee \bar x_0)}}}}} \vee \overline{\overline{\overline{\overline{\overline{(x_3 \vee x_0)}} \vee \overline{\overline{(\bar x_2 \vee \bar x_1)}}}  \vee}}}}}}\\
\overline{\overline{  \ovrline{\overline{\overline{\overline{ \vee  \overline{\overline{\overline{(\bar x_3 \vee \bar x_1)}} \vee \overline{\overline{(x_2 \vee x_0)}}} \vee \overline{\overline{\overline{(\bar x_3 \vee \bar x_0)}} \vee \overline{\overline{(x_2 \vee x_1)}}}}}}} \vee \overline{\overline{\overline{(\bar x_3 \vee \bar x_2)}} \vee \overline{\overline{(x_1 \vee x_0)}}} }}
\end{multline}


\end{document}