equal
deleted
inserted
replaced
927 \end{frame} |
927 \end{frame} |
928 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
928 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
929 |
929 |
930 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
930 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
931 \begin{frame}[c] |
931 \begin{frame}[c] |
|
932 |
|
933 Normally we would have |
|
934 |
|
935 \begin{center} |
|
936 \bl{$(\ZERO \cdot (b \cdot c)) + ((\ZERO \cdot c) + \ONE)$} |
|
937 \end{center} |
|
938 |
|
939 and answer |
|
940 |
|
941 \begin{center} |
|
942 \bl{$Right(Right(Empty))$} |
|
943 \end{center}\bigskip |
|
944 |
|
945 But now we simplify to \bl{$\ONE$} and produce \bl{$Empty$}. |
|
946 |
|
947 \end{frame} |
|
948 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
949 |
|
950 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
951 \begin{frame}[c] |
932 \frametitle{Rectification} |
952 \frametitle{Rectification} |
933 |
953 |
934 \def\arraystretch{1.05} |
954 \def\arraystretch{1.05} |
935 \begin{center} |
955 \begin{center} |
936 \begin{tabular}{l@{\hspace{2mm}}c@{\hspace{2mm}}l@{\hspace{8mm}}l} |
956 \begin{tabular}{l@{\hspace{2mm}}c@{\hspace{2mm}}l@{\hspace{8mm}}l} |