abc Računarski sistemi - Prekidačka algebra – Boole-ova algebra – Algebra logike
3. Prekidačke funkcije
3.4 Analiza funkcija pomoću tabele
Provjeru tačnosti transformacije funkcije iz jednog oblika u drugi najjednostavnije je izvršiti, pogotovo ako se radi o manje složenim funkcijama, primjenom kombinacionih tabela
Kao primjer, dokazaćemo tačnost druge De Morganove teoreme za 3 promjenljive
Postupak i rezultati provjere gornje jednakosti dati su u sljedećoj tabeli:
A |
B |
C |
|
|
|
|
|
|
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
Identičnost vrijednosti funkcija 
i 
dokazuje tačnost De Morganove teoreme.
Na sličan način provjerimo identitet
Svi potrebni podaci navedeni su u sljedećoj tabeli:
A |
B |
C |
|
|
|
|
|
|
|
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
Maksimalni broj funkcija < Index > 4. Prekidačke mreže
 |
 |
 |
 |
 |
 |
