repositories
/
mc1516.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c3e94df
)
fix e1
author
Mart Lubbers
<mart@martlubbers.net>
Wed, 10 Feb 2016 09:36:30 +0000
(10:36 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Wed, 10 Feb 2016 09:36:30 +0000
(10:36 +0100)
e1.tex
patch
|
blob
|
history
diff --git
a/e1.tex
b/e1.tex
index
ec5fcd3
..
ad644cf
100644
(file)
--- a/
e1.tex
+++ b/
e1.tex
@@
-11,29
+11,36
@@
\newcommand{\al}{\square}
\newcommand{\nx}{\bigcirc}
\newcommand{\al}{\square}
\newcommand{\nx}{\bigcirc}
+\everymath{\displaystyle}
+
\begin{document}
\begin{enumerate}
\item
$\xymatrix{
\begin{document}
\begin{enumerate}
\item
$\xymatrix{
- \ar[dr]\\
- & *+[o][F-]{s_0}\\
- *+[o][F-]{nc_1} & & *+[o][F-]{nc_1}
+ & l_0 & l_1 & l_2 & l_3 & l_5 & l_6 & l_7\\
+ l_0\\
+ l_1\\
+ l_2\\
+ l_3\\
+ l_5\\
+ l_6\\
+ l_7
}$
\item
$\al(crit_0\veebar crit_1)$
\item
We define:\\
}$
\item
$\al(crit_0\veebar crit_1)$
\item
We define:\\
- $
\displaystyle
AP=\bigcup_{i\in N}\{lift_n, door_n,call_n\},
+ $ AP=\bigcup_{i\in N}\{lift_n, door_n,call_n\},
N=\{0, 1, 2, 3\}$
\begin{enumerate}
\item
N=\{0, 1, 2, 3\}$
\begin{enumerate}
\item
- $\
forall n\in N
\al(door_m\ra lift_n)$
+ $\
bigwedge_{n\in N}
\al(door_m\ra lift_n)$
\item
\item
- $\
forall n\in N\al(call_n\ra\ev lift_n
)$
+ $\
bigwedge_{n\in N}\al(call_n\ra\ev(lift_n\wedge door_n)
)$
\item
$\al\ev lift_0$
\item
\item
$\al\ev lift_0$
\item
- $\al
call_3\rightarrow\bigcirc lift_3
$
+ $\al
(call_3\rightarrow\bigcirc (lift_3\wedge door_3))
$
\end{enumerate}
\item\strut\\
$\begin{array}{ll}
\end{enumerate}
\item\strut\\
$\begin{array}{ll}