repositories
/
mc1516.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7d2dd5d
)
a2done
author
Mart Lubbers
<mart@martlubbers.net>
Wed, 17 Feb 2016 09:23:37 +0000
(10:23 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Wed, 17 Feb 2016 09:23:37 +0000
(10:23 +0100)
e2.tex
patch
|
blob
|
history
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{a4wide}
\usepackage{amssymb}
\usepackage{amsmath}
-\usepackage{booktabs}
\usepackage[all]{xypic}
\newcommand{\ra}{\rightarrow}
\usepackage[all]{xypic}
\newcommand{\ra}{\rightarrow}
@@
-40,7
+39,9
@@
\xymatrix{
\ar[r] &
*+[F]{s_0}\ar@/^/[r]^{\neg a}\ar@(d,l)^{a} &
\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}
*+[Fo]{s_2}\ar@(d,r)_{true}
}
\end{equation}
@@
-48,10
+49,10
@@
\begin{equation}
\xymatrix{
\ar[r] &
\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} &
*+[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}
}
\end{equation}
@@
-64,6
+65,7
@@
}
\end{equation}
\item
}
\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}
\end{enumerate}
\end{document}