\begin{slide}{Rechenregeln}

Für 
\[ (\verb|false|,\verb|true|,\oder,\und) \]
gelten die gleichen Rechenregeln wie für
\[(0\quad,1\quad,+,\cdot) \] 
(für Zahlen). (Nennen Sie einige.)

\dots und noch weitere, z. B.  das De-Morgansche Gesetz:

\[ !x \und !y ~=~ !(x \oder y) \]


Augustus De Morgan (1806--1871),
\url{http://www-history.mcs.st-andrews.ac.uk/Mathematicians/De_Morgan.html}



\end{slide}
