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.
Logični izrazi
Izjava (ang. expression) je trditev, ki je lahko samo pravilna (1) ali nepravilna (0). V računalništvu in matematiki izjave običajno označujemo s črkami. Poglejmo primer:
- D:
- Marko dela.
- L:
- Marko je lačen.
- S:
- Sončno je.
- U:
- Marko je utrujen.
Iz teh osnovnih izjav lahko z logičnimi operacijami (IN, ALI, NE) sestavljamo bolj kompleksne izjave. Na primer:
Marko je utrujen (U), če
Gornjo sestavljeno izjavo lahko zapišemo tudi kot logični izraz: $$U = D \cdot L + D \cdot S' + D' \cdot L'$$
Logični izraz lahko predstavimo s pravilnostno tabelo, kjer na levi strani navedemo osnovne spremenljivke, v sredini morebitne vmesne izraze in na desni končni rezultat. Pri enostavnih primerih zadostuje le prikaz vhodnih spremenljivk in končnega rezultata.
| $D$ | $L$ | $S$ | $D \cdot L + D \cdot S' + D' \cdot L'$ | $U = f(D, L, S)$ | ||
| 0 | 0 | 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 1 |