a2done

diff --git a/e2.tex b/e2.tex
index bec6c3b..bae921e 100644 (file)
--- a/e2.tex
+++ b/e2.tex
@@ -3,7 +3,6 @@
 \usepackage{a4wide}
 \usepackage{amssymb}
 \usepackage{amsmath}
-\usepackage{booktabs}
 \usepackage[all]{xypic}
 
 \newcommand{\ra}{\rightarrow}
@@ -40,7 +39,9 @@
                        \xymatrix{
                                \ar[r] &
                                *+[F]{s_0}\ar@/^/[r]^{\neg a}\ar@(d,l)^{a} &
-                               *+[F]{s_1}\ar@/^/[l]^{\neg b}\ar[r]^{b} &
+                               *+[F]{s_1}\ar@/^/[l]^{\neg b\wedge a}
+                                       \ar@(d,r)_{\neg b\wedge \neg a}
+                                       \ar[r]^{b} &
                                *+[Fo]{s_2}\ar@(d,r)_{true}
                        }
                \end{equation}
@@ -48,10 +49,10 @@
                \begin{equation}
                        \xymatrix{
                                \ar[r] &
-                               *+[Fo]{s_0}\ar@(d,l)^{true}\ar[r]^{a} &
+                               *+[Fo]{s_0}\ar@(d,l)^{\neg a}\ar[r]^{a} &
                                *+[F]{s_1}\ar@(d,l)^{true}\\
                                \ar[r] & *+[F]{s_2}\ar@(d,l)^{\emptyset}\ar[r]^{a\vee b} &
-                               *+[Fo]{s_3}\ar@(d,l)^{true}
+                               *+[Fo]{s_3}\ar@/^/[l]^{\emptyset}\ar@(d,r)_{true}
                        }
                \end{equation}
                
@@ -64,6 +65,7 @@
                        }
                \end{equation}
        \item 
-               $\ev\al(a\wedge\ev b)$
+               $\ev\al(a\wedge\ev b)\text{ or}\\
+               \al\ev b\wedge\ev\al a$
 \end{enumerate}
 \end{document}