\documentclass[a4paper]{article}
%\usepackage[czech]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amssymb,amsmath}
%\usepackage{hyperref}

\newtheorem{exercise}{Exercise}[section]

\input ../macros

\input ../MNCMPpagesaving.tex

\newdimen\tmpd
\newbox\verbbox

\setcounter{section}{4}
%=====================================================
\begin{document}

\textit{Homework from Fuzzy Logic.
Choose the basic or advanced level.}

Exercise from distributivity.

\begin{exercise}
\textbf{Basic level}
\\Decide whether the following distributivity laws are always valid:
\begin{align*}
\alpha\andf L(\beta\orf S \gamma) &= (\alpha\andf L \beta)\orf S(\alpha\andf L \gamma)\,, \\
\alpha\orf S(\beta\andf L \gamma) &= (\alpha\orf S \beta)\andf L(\alpha\orf S \gamma)\,.
\end{align*}

\bigskip
\textbf{Advanced level}\\
Try the same with $\andf L$ replaced by a general fuzzy conjunction.
\end{exercise}

\end{document}
