B={0,1}. (B; Ù, Ú, Ø) ist eine Algebra. Kommutativ-, Assoziativ-, Distributivgesetze. Neutrale Elemente. Komplemente. Beweis?. Zusätzlich. minimales und maximales Element. Idempotenzgesetze. Regeln von de Morgan.

Notes:


http://cg.cs.tu-berlin.de/hardware_vl/bool/
http://www.minet.uni-jena.de/~matthi/www.ct-projekt.smigel.de/node154.html