From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 17 Feb 2016 09:23:37 +0000 (+0100)
Subject: a2done
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=dedc1179314a860bb49721aa582acddd47a3b372;p=mc1516.git

a2done
---

diff --git a/e2.tex b/e2.tex
index bec6c3b..bae921e 100644
--- 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}