860 \draw[->,line width=0.5mm]  (r1) -- (v1);

   860 \draw[->,line width=0.5mm]  (r1) -- (v1);

   861 \draw (r4) node[anchor=north west] {\;\raisebox{-8mm}{\bl{$mkeps$}}};

   861 \draw (r4) node[anchor=north west] {\;\raisebox{-8mm}{\bl{$mkeps$}}};

   862 \end{tikzpicture}

   862 \end{tikzpicture}

   863 \end{center}

   863 \end{center}

   864 

   864 

   866 \hspace{4.5cm}\bl{$(\ZERO \cdot (b \cdot c)) + ((\ZERO \cdot c) + \ONE)$}

   866 \hspace{4.5cm}\bl{$(\ZERO \cdot (b \cdot c)) + ((\ZERO \cdot c) + \ONE)$}

   867 $\mapsto$

   867 $\mapsto$

   868 \bl{$\ONE$}

   868 \bl{$\ONE$}

   869 

   869 

   870 \end{frame}

   870 \end{frame}