Boolova algebra: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
algebra |
||
Riadok 1:
'''Boolova algebra''' je [[
Boolova algebra je abstraktný formálny systém obsahujúci množinu prvkov (a, b, c, ...), nad ktorou sú definované dve binárne operácie symbolizované pomocou znakov <math>\lor</math> a <math>\land</math>. Boolova algebra je komplementárny a distributívny zväz pomenovaný podľa [[George Boole|Georgea Boolea]] (1815 – 1864). Boolova algebra je zvláštnym prípadom [[štruktúra|štruktúry]] zvanej [[zväz (matematika)|zväz]].
Riadok 58:
Existujú najmenej tri najznámejšie tradície v označovaní v teórii Boolovej algebry. Vo vyššie použitej definícii sú použité symboly <math>\lor,\land,\lnot</math>, ale bežne sú používané tiež <math>\cup,\cap,\sim</math>, a na bežné použitie tiež <math>+,\cdot,-</math>. Symboly dvojargumentovýh operácií Boolovej algebry sú takmer vždy výberom jedného z páru <math>(+,\cdot)</math>, <math>(\lor,\land)</math> alebo <math>(\cup,\cap)</math>. Označenie operácií jednoargumentowej algebry je menej, v dôsledku toho sa môžeme stretnúť ako so symbolmi <math>+,\cdot,\sim</math> tak aj <math>\lor,\land,{}^\prime</math>.
Symboly <math>\wedge,\vee</math> sa často používajú v súvislosti
Stretávame sa aj s použitím iných symbolov resp. ich kombinácií (na príklad & na miesto <math>\cap</math>, alebo <math>a^\prime</math> namiesto <math>\;\sim a</math>. V oblasti elektroniky a informačných technológií je často používaný ako OR, AND resp. NOT na mieste <math>\cup</math>, <math>\cap</math> resp. <math>\sim</math>.
|