Bulea algebro: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
KuBOT (diskuto | kontribuoj) e Forigo de la ŝablono(j) LigoElstara kaj/aŭ LigoLeginda laŭ VP:FA; kosmetikaj ŝanĝoj |
DidCORN (diskuto | kontribuoj) Difinoj |
||
Linio 6:
Bulea algebro estas tiel nomata honore al la matematikisto [[George Boole]], kiu unue aplikis ĝin.
== Difino de simboloj ==
'''Boolea algebro''' is sesopo konsistanta el ''A'', enhavanta du [[duloka operacio|dulokaj operacioj]] ∧ (nomita "komunaĵo" aŭ "AND"), ∨ (nomita "unio" aŭ "OR"), unu [[unuloka operacio]] ¬ (nomita "komplemento" aŭ "NOT") kaj du elementoj 0 and 1 (nomitaj "malsupro" kaj "supro"), tielmaniere, ke por ĉiuj elementoj ''a'', ''b'' and ''c'' of ''A'', validas la sekvantaj [[aksiomo]]j:<ref>Davey, Priestley, 1990, p.109, 131, 144</ref>
::{| cellpadding=5
|''a'' ∨ (''b'' ∨ ''c'') = (''a'' ∨ ''b'') ∨ ''c''
|''a'' ∧ (''b'' ∧ ''c'') = (''a'' ∧ ''b'') ∧ ''c''
| [[asocieco]]
|-
|''a'' ∨ ''b'' = ''b'' ∨ ''a''
|''a'' ∧ ''b'' = ''b'' ∧ ''a''
| [[komuteco]]
|-
|''a'' ∨ 0 = ''a''
|''a'' ∧ 1 = ''a''
| [[idento (matematiko)|idento]]
|-
|''a'' ∨ (''b'' ∧ ''c'') = (''a'' ∨ ''b'') ∧ (''a'' ∨ ''c'')
|''a'' ∧ (''b'' ∨ ''c'') = (''a'' ∧ ''b'') ∨ (''a'' ∧ ''c'')
| [[distribueco]]
|-
|''a'' ∨ ¬''a'' = 1
|''a'' ∧ ¬''a'' = 0
| [[komplemento (aroteorio)|komplemento]]
|}.
== Referencoj ==
{{referencoj}}
{{ĝermo|matematiko}}
[[Kategorio:Bulea algebro| ]]
[[Kategorio:Matematiko]]
<!--
[[en:Boolean algebra (structure)]]
[[fr:Algèbre de Boole (structure)]]
Linio 18 ⟶ 45:
[[ko:불 대수]]
[[zh:布尔代数]]
-->
|