Versie van 13 mei 2011 08:39 bewerken MerlIwBot (overleg \| bijdragen) 379.792 bewerkingen k Robot: toegevoegd: la:Algebra Booleana (logica), af:Boolse algebra ← Oudere bewerking		Versie van 4 aug 2011 08:09 bewerken ongedaan maken ReinaartBot (overleg \| bijdragen) 36.488 bewerkingen k WPCleaner (v1.09) Link naar doorverwijspagina aangepast. Help mee! - Absorptie / Opgelost met behulp van WP:CW - Code 011: HTML named entities Nieuwere bewerking →
Regel 50: :<math> a \and b = b \and a </math> [[Absorberend element\|absorptie]] :<math> a \or (a \and b) = a </math> :<math> a \and (a \or b) = a </math> 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 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