10 lines
480 B
TeX
10 lines
480 B
TeX
\section{Boolsche Algebra}
|
|
|
|
\subsection{Huntington-Axiome}
|
|
|
|
\begin{enumerate}
|
|
\item \textbf{Kommmutativität}: $a \land b = b \land a$ und $a \lor b = b \lor a$
|
|
\item \textbf{Distributivität}: $a \land (b \lor c) = (a \land b) \lor (a \land c)$ und $a \lor (b \land c) = (a \lor b) \land (a \lor c)$
|
|
\item \textbf{neutrales Element}: $a \land 1 = a$ und $a \lor 0 = a$
|
|
\item \textbf{inverses Element}: $a \land \overline{a} = 0$ und $a \lor \overline{a} = 1$
|
|
\end{enumerate}
|