\section{Conditions}

\begin{table}[ht]
	\centering
	\begin{tabular}{|c|c|c|}\hline
		Bitcode & Condition               & Bits to test \\ \hline
		0000    & equal / zero            & ZF = 0\\ \hline
		0001    & not equal / not zero    & ZF = 1\\ \hline
		0010    & not overflow            & OF = 0\\ \hline
		0011    & overflow                & OF = 1\\ \hline
		0100    & not carry / below       & CF = 0\\ \hline
		0101    & carry / above or equal  & CF = 1\\ \hline
		0110    & not signed / not neg.   & SF = 0\\ \hline
		0111    & signed / neg.           & SF = 1\\ \hline
		1000    & above                   & (CF == 0 $\wedge$ ZF ==  0)\\ \hline
		1001    & below or equal          & (CF == 1 $\vee$ ZF == 1) \\ \hline
		1010    & greater than or equal   & SF == OF\\ \hline
		1011    & less than               & SF != OF \\ \hline
		1100    & greater than            & (ZF == 0 $\wedge$ SF == OF) \\ \hline
		1101    & less than or equal      & (ZF == 1 $\vee$ SF != OF) \\ \hline
		1110    & never                   & \\ \hline
		1111    & always                  & \\ \hline
	\end{tabular}
	\caption{codierung von conditions WARNING! may contain BUGS!!}
\end{table}

\begin{table}
	\centering
	\begin{tabular}{|l|c|c|c|c|} \hline
		Bit  & 3  & 2  & 1  & 0  \\ \hline
		Flag & SF & CF & OF & ZF \\ \hline
	\end{tabular}
	\caption{billig PSW bitorder}
\end{table}
