\everymath{\displaystyle}
+\author{Mart Lubbers}
+\date{\today}
+\title{Model Checking Excercises 1}
+
\begin{document}
+\maketitle
\begin{enumerate}
\item
- $\xymatrix{
- & l_0 & l_1 & l_2 & l_3 & l_5 & l_6 & l_7\\
- l_0 & 0ff\ar[d] & 0ff & 0ff\\
- l_1 & 0ff\ar[d] & 0ff & 0ff\\
- l_2 & 1ff\ar[d] & 1ff & 0ff\\
- l_3 & 1tf\ar[d] & 1tf & 0ff\\
- l_5 & 1tf\ar[d] & 1tf & 0ff\\
- l_6 & 1tf\ar[d] & 1tf & 0ff\\
- l_7 & 1ff & 1ff & 0ff
- }$
\item
$\al(crit_0\veebar crit_1)$
\item