Versie van 29 okt 2008 13:30 bewerken Capaccio (overleg \| bijdragen) 131.676 bewerkingen Geen bewerkingssamenvatting ← Oudere bewerking		Versie van 16 jan 2009 13:56 bewerken ongedaan maken JRB (overleg \| bijdragen) 42.429 bewerkingen kGeen bewerkingssamenvatting Nieuwere bewerking →
Regel 64: De eerste drie paren axioma's, associativiteit, commutativiteit en absorptie, houden in dat het drietal (''A'', <math>\and</math>, <math>\or</math>) een [[tralie (wiskunde)\|tralie]] is. Uit de axioma's volgt dat in de [[partiële ~~ordening~~orde]]ning van het tralie 0 het kleinste element en 1 het grootste element is. (Die partiële ordening wordt bepaald door a ≤ b te noemen als <math>a=a\and b</math>.) Verder volgt uit de axioma's dat het complement ¬''a'' van een element ''a'' eenduidig bepaald is en dat:

Booleaanse algebra: verschil tussen versies