Booleova algebra Luboš Štěpánek

Podobné dokumenty
Booleova algebra. 4. kapitola. Booleova algebra a její modely

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

VÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu

Úvod do lineární algebry

Lineární algebra Kapitola 1 - Základní matematické pojmy

Aritmetika s didaktikou I.

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

Algebraické struktury s jednou binární operací

Co je to univerzální algebra?

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).

Základní pojmy teorie množin Vektorové prostory

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Formální systém výrokové logiky

1 Zobrazení 1 ZOBRAZENÍ 1. Zobrazení a algebraické struktury. (a) Ukažte, že zobrazení f : x

ALGEBRA. Téma 4: Grupy, okruhy a pole

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

Matematika B101MA1, B101MA2

0. ÚVOD - matematické symboly, značení,

1 Báze a dimenze vektorového prostoru 1

Booleovy algebry. Irina Perfilieva. logo

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

Úvod do lineární algebry

Matematická analýza 1

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

PŘEDNÁŠKA 2 POSLOUPNOSTI

METRICKÉ A NORMOVANÉ PROSTORY

Množiny, relace, zobrazení

označme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,

1 Základní pojmy. 1.1 Množiny

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Vysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy

)(x 2 + 3x + 4),

množinu definujeme axiomaticky: nesnažíme se ji zkonstruovat (dokonce se ani nezabýváme otázkou,

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.

Výroková a predikátová logika - VII

Aritmetika s didaktikou I.

Úvod do informatiky. Miroslav Kolařík

Základy matematiky pro FEK

V: Pro nulový prvek o lineárního prostoru L platí vlastnosti:

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Spojitost funkcí více proměnných

Základy matematiky pro FEK

Teorie grup 1 Příklad axiomatické teorie

Lineární algebra Eva Ondráčková

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY.

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.

Úvod do informatiky. Miroslav Kolařík

Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ

PŘEDNÁŠKA 7 Kongruence svazů

8.3). S ohledem na jednoduchost a názornost je výhodné seznámit se s touto Základní pojmy a vztahy. Definice

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

- y. 5.5 Kráceni a rozširování lomenvch výrazu. eseru: = = = x +.) Podmínkyrešitelnosti:x -:;l:o, x -:;l:3/2

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

Vektorový prostor. Př.1. R 2 ; R 3 ; R n Dvě operace v R n : u + v = (u 1 + v 1,...u n + v n ), V (E 3 )...množina vektorů v E 3,

Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují

Lineární algebra : Lineární prostor

Polynomy v moderní algebře

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V.

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka

Funkce více proměnných. April 29, 2016

Teorie množin Pavel Podbrdský

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa

Lineární prostory. - vektorové veličiny(síla, rychlost, zrychlení,...), skládání, násobení reálným číslem

Algebra 2 KMI/ALG2. Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. slidy k přednáškám

1 Zadání Zadání- Náboj 1492 Úloha1.[Miško]Majmerekurentnedefinovanúpostupnosť a 1 = a 2 =1, a 3 = 1, a n = a n 1 a n 3. Nájdite a 2009.

Matematika IV - 7. přednáška Uspořádané množiny, svazy a Booleovy algebry

x 2 = a 2 + tv 2 tedy (a 1, a 2 ) T + [(v 1, v 2 )] T A + V Příklad. U = R n neprázdná množina řešení soustavy Ax = b.

Matematická analýza pro informatiky I.

Bakalářská matematika I

Definice 4.1 Nechť (X, ) je svaz s nejmenším prvkem 0 a největším prvkem 1. Komplement prvku x X je každý prvek y, pro který platí. x y = 1, x y = 0.

Zavedení a vlastnosti reálných čísel

Základy logiky a teorie množin

Matematika IV - 7. přednáška Uspořádané množiny, svazy a Booleovy algebry

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno

Extrémy funkce dvou proměnných

Odpřednesenou látku naleznete v kapitolách skript Abstraktní a konkrétní lineární algebra.

18. První rozklad lineární transformace

0.1 Úvod do lineární algebry

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

Učební texty k státní bakalářské zkoušce Matematika Skalární součin. študenti MFF 15. augusta 2008

Binární logika Osnova kurzu

Úlohy k procvičování textu o univerzální algebře

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

1 Připomenutí vybraných pojmů

Ukázka knihy z internetového knihkupectví

Patří-li do množiny A právě prvky a, b, c, d, budeme zapisovat A = {a, b, c, d}.

19 Hilbertovy prostory

Matematická logika. Miroslav Kolařík

Lineární algebra : Násobení matic a inverzní matice

průniku podmnožin, spojení je rovno sjednocení podmnožin a komplement je doplněk Obr. 5: Booleovy algebry

Polynomy nad Z p Konstrukce faktorových okruhů modulo polynom. Alena Gollová, TIK Počítání modulo polynom 1/30

Lineární algebra : Lineární (ne)závislost

Teoretická informatika Tomáš Foltýnek Algebra Struktury s jednou operací

Množiny, základní číselné množiny, množinové operace

Věta o dělení polynomů se zbytkem

B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík

Lineární algebra Operace s vektory a maticemi

Transkript:

Booleova algebra Luboš Štěpánek Úvod Booleovaalgebra(čti búlova ),nazvanápodleirskéhomatematikaalogikageorge Boolea(1815 1864), je užitečná v mnoha matematických disciplínách a má velmi široké uplatnění v technických aplikacích. Tvoří teoretický základ pro navrhování rozmanitých regulovacích a rozhodovacích systémů. Pro nás je podstatné, že vytváří určitou zastřešující teorii pro algebru množin aalgebruvýrokůadobřesehodíipřiřešeníúlohzrekreačnímatematiky.kdoumí Booleovualgebru,vmnožináchavýrocíchsetedyneztratí.Ipřessvůj odborně znějící název je Booleova algebra dost dobře přístupná a zajímavá i pro PraSátka, která se ze středoškolských lavic na matfyz teprve těší.;-) Zavedení pojmů Pro lepší pochopení Booleovy algebry si osvěžíme některé všeobecné pojmy, které sečastozapomínají.napřednášcejejentakzběžně prolétneme apřiblížímesije na konkrétních příkladech, proto se nelekejte jejich rozsahu a zdánlivé formálnosti, nicméně pomůže nám vidět je před sebou napsané.;-) Definice.(kartézský součin) Kartézským součinem množin K a L nazýváme množinuvšechuspořádanýchdvojic[x, y],kde x Ka y L.Kartézskýsoučin množin K, Loznačujeme K L. Definice. Zobrazenímmnožiny Kdomnožiny L(stručně Kdo L )nazýváme každou podmnožinu T kartézského součinu K L, pro niž platí, že ke každému x Kexistujeprávějedno y Ltakové,že[x, y] T. Definice.(binární operace) Zobrazení množiny K do množiny L, kde K = L L, nazvemebinárníoperacenamnožině Laoznačíme z=x yna L či z= x y na L.Binárníoperacina Lpaktvoříkaždápodmnožina Ukartézskéhosoučinu (L L) Ltaková,žekekaždéuspořádanédvojici[x, y] L Lexistujeprávě jedno z Ltak,že[[x, y], z] U. Definice.(unárníoperace) Zobrazenímnožiny Kdomnožiny L,kde K= L, nazvemeunárníoperacenamnožině Laoznačímenapř. y=xna L či y=x na L.Unárníoperacina Lpaktvoříkaždápodmnožina V kartézskéhosoučinu L Ltaková,žekekaždému x Lexistujeprávějedno y Ltak,že[x, y] V. 58

Luboš Štěpánek: Booleova algebra Definice. Prvky x, y, ználežímnožině L.Operaci u=x yna Lnazýváme: (a) komutativní,právěkdyžplatí x y= y x. (b) asociativní,právěkdyžplatí(x y) z= x (y z). (c) distributivnívzhledemkoperaci u=x yna L,právěkdyžplatí x (y z)= =(x y) (x z)azároveň(y z) x=(y x) (z x). Definice.(neutrální prvek) Neutrálním prvkem vzhledem k operaci u = x y na Lnazývámeprvek e L,pronějžplatí:Provšechna x Lje x e=e x=x. Příklad1. Ubinárníchoperací u=x+2yau=x 2 + y 2 na Rzpamětiurčete, zda jsou komutativní, asociativní a zda u nich existuje neutrální prvek. Příklad 2. Na množině R uvažujme notoricky známé binární operace max(x, y) a min(x, y). Zjistěte, zda jsou tyto operace komutativní, asociativní, zda je max(x, y) distributivní vzhledem k min(x, y) a naopak. Nakonec stanovte neutrální prvky pro jednotlivé operace. Booleova algebra Nyní už máme za sebou teoretický základ pro zavedení Booleovy algebry. Definice.(Booleova algebra) Množinu B a na ní definované operace budeme nazývat Booleovou algebrou, pokud bude splněno vše následující: (i) Množina Bneníprázdnáajenanídefinovánarovnostprvků. (ii) Namnožině Bjsoudefinoványdvěbinárníoperace(říkejmejim sčítání a násobení )ajednaunárníoperace(říkejmejí doplněk ). (iii) Obě binární operace jsou komutativní a asociativní. (iv) Binárníoperace sčítání jedistributivnívzhledemkoperaci násobení anaopakoperace násobení jedistributivnívzhledemkoperaci sčítání. (v) Ke každé z binárních operací existuje právě jeden neutrální prvek; přitom jsouobatytoneutrálníprvkynavzájemrůzné(prooperaci označme neutrálníprvek e aprooperaci hooznačme e ). (vi) Unárníoperace doplněk y = x definovanána B splňuje x x = e azároveň x x = e. Definice.(Booleova algebra alternativně) Pokud budeme označovat prvky Booleovyalgebrymalýmipísmeny a, b, c,..., x, y, z,rovnostprvkůrovnítkem =, binárníoperaci sčítání plusem + a násobení symbolemkrát,unární operaci doplněk budemeznačit y=x,dálekdyžneutrálníprvekpři sčítání označíme0aneutrálníprvekpři násobení označíme1,můžemebooleovualgebru 59

Oldřichov 09 alternativně zadefinovat jako kompletně platnou skupinu výroků(1) (10): x+y= y+ x (1) x y= y x (2) (x+y)+z= x+(y+ z) (3) (x y) z= x (y z) (4) x (y+ z)=(x y)+(x z) (5) x+(y z)=(x+y) (x+z) (6) x+0=x (7) x 1=x (8) x+x =1 (9) x x =0 (10) TaktozavedenouBooleovualgebrubudemeznačit(B,+,, ). 10 Na přednášce si ukážeme, jak dokázat platnost následujících vět vyplývajících z vlastností obecné Booleovy algebry. Všechno asi nestihneme, proto přednáška vlastně jen naznačí charakter použitelných důkazů. Věta. Pro každý prvek x B Booleovy algebry platí: x+ x=x (11) x x=x (12) x 0=0 (13) x+1=1 (14) (x ) = x (15) Věta. Pro všechny prvky x, y B Booleovy algebry platí: (x+y) = x y (16) (x y) = x + y (17) x+xy= x (18) x (x+y)=x (19) x+x y= x+y (20) x (x + y)=xy (21) 10 Bystrýčtenářsimožnávšiml,žedruhádefiniceBooleovyalgebryjeponěkudslabší,nevyžaduje totiž jednoznačnost neutrálních prvků pro každou operaci. Na přednášce si ukážeme, že jednoznačnost neutrálních prvků pro konkrétní binární operaci lze dokázat z axiómů(1),(2),(7) a(8). 60

Luboš Štěpánek: Booleova algebra Věta. Nechť x, y jsou libovolné prvky množiny B. Pak platí: x+y=0 x=0 y=0 (22) x y=1 x=1 y=1 (23) x=y xy + x y=0 (24) x=y (x+y ) (x + y)=1 (25) Arsenál vztahů(1) (25) se hodí při řešení např. následujícího příkladu. Příklad. Zjednodušte následující zápisy výrazů Booleovy algebry tak, aby obsahovaly co nejméně symbolů: (a) abc+[b (a + c)], (b) (ab+de) (d+e) ca (c + b ). Modely Booleovy algebry Definice.(Model Booleovy algebry) Modelem Booleovy algebry nazveme každou neprázdnou množinu a na ní definované dvě binární a jednu unární operaci, pokud pro prvky této množiny platí všechny axiómy(1) (10). Předchozí definice zároveň i naznačuje, co musí být splněno, abychom mohli nějakou množinu s jejími operacemi považovat za model Booleovy algebry. Tvrzení. Zvolmeza Bmnožinu ˆM všechpodmnožinneprázdnémnožiny M, operaci sčítání, násobení a doplněk na B konkretizujme postupně jako sjednocení, průnikadoplněkna ˆM.Pakprovšechnyprvkymnožiny ˆM platíaxiómy(1) (10).Říkáme,žemnožinováalgebra(ˆM,,, )jemodelembooleovyalgebry (B,+,, ). Tvrzení. Zvolme za B množinu H = {0, 1} pravdivostních hodnot výroků, operaci sčítání, násobení a doplněk na B konkretizujme postupně jako disjunkci, konjunkcianegacina H.Pakprovšechnyprvkymnožiny Hplatíaxiómy(1) (10). Říkáme, že algebra pravdivostních hodnot(h,,, ) je modelem Booleovy algebry(b,+,, ). Na základě předchozích dvou tvrzení můžeme řešit následující příklad pomocí pravidelavět(1) (25).Uněkterýchdalšíchpříkladůsinapřednášceaspoňtrochu naznačíme i aplikaci jejich výsledků například v technické sféře. Příklad 1. Rozhodněte, zda při standardním značení platí: (a) (A B) (A B)=A B, (b) [( X Y) X] ( Y X) (X X). 61

Oldřichov 09 Příklad2. Buďmnožina C= {1,2,3,6}.Definujmena Cbinárníoperace tvoření nejmenšího společného násobku, tvoření největšího společného dělitele aunárníoperaci u=6/x.dokažte,že C staktodefinovanýmioperacemije modelem Booleovy algebry. Příklad 3. VBooleověalgebře(D,+,, ),kde D = {0,1}jemnožinaobou neutrálních prvků, řešte rovnici o jedné neznámé x: ((x +1) +(x+0)) =0. Příklad4. VBooleověalgebře(D D,+,, ),kde D={0,1}jemnožinaobou neutrálních prvků, řešte soustavu rovnic o neznámých x, y: (a) (b) kde aabjsouparametryzd. Příklad 5. Řešte rovnici (x+y ) (x + y)=x x+y= x, ax+by =1 ay+ bx =1, X {4,6,8}=(X {3,5,7}) X ojednéproměnné Xvmnožině ˆKvšechpodmnožinmnožiny K= {1,2,3,4, 5,6,7,8}. Příklad 6. Pokuste se ukázat, že systém axiómů Booleovy algebry je závislý, tj. některé z axiomů(1) (10) lze nahradit kombinací jiných axiómů z oné desetice. (Nápověda:Odvoďteaxióm(3)zaxiómů(1),(2),(5) (10).) Definice.(booleovská funkce) Booleovskou funkcí o n proměnných(n N) na dvouprvkové množině D = {0, 1} obou neutrálních prvků nazveme zobrazení množiny D D D... D do množiny D. }{{} n Věta. Prokaždoubooleovskoufunkci fo nproměnných x 1, x 2,..., x n zmnožiny D= {0,1}platí: 62 f: u = f(1,1,...,1,1) x 1, x 2,..., x n 1, x n + + f(1,1,...,1,0) x 1, x 2,..., x n 1, x n +. + f(0,0,...,0,1) x 1, x 2,..., x n 1, x n + + f(0,0,...,0,0) x 1, x 2,...,x n 1, x n.

Luboš Štěpánek: Booleova algebra Příklad7. Booleovskáfunkce kotřechproměnných x, y, zzmnožiny D= {0,1} je určena následující tabulkou. Určete funkci k rovnicí. x y z k(x, y, z) 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 Literatura Mnohem víc příkladů, hezky vysvětlená řešení a dokonce i technické aplikace, na které v tomto příspěvku nezbyl prostor, najdete v [1] Oldřich Odvárko: Booleova algebra, edice Škola mladých matematiků, Praha, 1973. 63