Licenca
To delo je na voljo pod pogoji slovenske licence Creative Commons 2.5:
priznanje avtorstva - nekomercialno - deljenje pod enakimi pogoji.
Celotna licenca je na voljo na spletu na naslovu http://creativecommons.org/licenses/by-nc-sa/2.5/si/. V skladu s to licenco je dovoljeno vsakemu uporabniku delo razmnoževati, distribuirati, javno priobčevati, dajati v najem in tudi predelovati, vendar samo v nekomercialne namene in ob pogoju, da navede avtorja oziroma avtorje in izdajatelja tega dela. Če uporabnik delo predela, kar pomeni, da ga spremeni, preoblikuje, prevede ali uporabi to delo v svojem delu, lahko predelavo dela ponudi na voljo le pod pogoji, ki so enaki pogojem iz te licence oziroma pod enako licenco.
Minimizacija z Boolovo algebro
Kadar želimo minimizirati logično vezje, moramo pravzaprav minimizirati logični izraz, saj je logično vezje izvedeno na podlagi logičnega izraza.
Logični izrazi spominjajo na algebrske izraze, ki jih poznamo iz matematike in s katerimi znamo računati. Razlika med običajnimi algebrskimi izrazi in logičnimi izrazi je v tem, da moramo pri računanju z logičnimi izrazi oz. pri poenostavljanju logičnih izrazov uporabljati pravila Boolove algebre.
Vrstni red operacij v Boolovi algebri je natančno določen. vedno najprej izvedemo negacijo, nato konjunkcijo (operacija logični IN) in nazadnje disjunkcijo (operacija logični ALI). Z oklepaji pa določamo vrstni red izvajanja logičnih oepracij.
Vsa pravila v Boolovi algebri so dualna. To pomeni, da imamo pare pravil, ki so med seboj povezani tako da lahko v prvem pravilu para zamenjamo operatorja konjunkcije in disjunkcije ter konstanti 0 in 1 in bomo dobili drugo pravilo para. Velja pa seveda tudi obratno. V nadaljevanju so našteta pravila Boolove algebre.
| $$a + b \Leftrightarrow b + a$$ $$a \cdot b \Leftrightarrow b \cdot a$$ | $$a + (b + c) \Leftrightarrow (a + b) + c$$ $$a \cdot (b \cdot c) \Leftrightarrow (a \cdot b) \cdot c$$ |
| $$a + (b \cdot c) \Leftrightarrow (a + b) \cdot (a + c)$$ $$a \cdot (b + c) \Leftrightarrow (a \cdot b) + (a \cdot c)$$ | $$\overline{(a + b)} \Leftrightarrow \overline{a} \cdot \overline{b}$$ $$\overline{(a \cdot b)} \Leftrightarrow \overline{a} + \overline{b}$$ |
| $$a + 0 = a$$ $$a \cdot 1 = a$$ | $$a + 1 = 1$$ $$a \cdot 0 = 0$$ |
| $$a + a = a$$ $$a \cdot a = a$$ | $$a + \overline{a} = 1$$ $$a \cdot \overline{a} = 0$$ |
| $$a + a \cdot b = a$$ $$a \cdot a + b = a$$ | $$\overline{\overline{a}} = a$$ |
| $$a \cdot b + \overline{a} \cdot c + b \cdot c = a \cdot b + \overline{a} \cdot c$$ $$(a + b) \cdot (\overline{a} + c) \cdot (b + c) = (a + b) \cdot (\overline{a} + c)$$ | |