Bulea algebro: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
Escarbot (diskuto | kontribuoj)
e wikidata interwiki
Linio 8:
== Difino de simboloj ==
 
'''BooleaBulea algebro''' isestas 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 andkaj 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, ppp. 109, 131, 144</ref>
 
::{| cellpadding=5
Linio 32:
| [[komplemento (aroteorio)|komplemento]]
|}.
 
== Referencoj ==
{{referencoj}}