Kot smo že omenili, praviloma začnemo načrtovanje sistema s pravilnostno tabelo, s pomočjo katere določimo logično funkcijo. Nato logično funkcijo pretvorimo v logični izraz, tega pa v logično vezje. S pomočjo logičnega vezja lahko nato izvajamo logično funkcijo, kot smo si jo zamislili. Celoten postopek pretvorbe si bomo ogledali v nadaljevanju.
Za vsako vhodno kombinacijo spremenljivk – to je vsako vhodno vrstico v pravilnostni tabeli – lahko zapišemo minterm (ang. minterm), ki ga označimo z
Poglejmo si pravilnostno tabelo zadnjega logičnega sistema s pripadajočimi mintermi:
↓ |
|||||
0 | 0 | 0 | 0 | 0 | |
1 | 0 | 0 | 1 | 0 | |
2 | 0 | 1 | 0 | 0 | |
3 | 0 | 1 | 1 | 1 | |
4 | 1 | 0 | 0 | 0 | |
5 | 1 | 0 | 1 | 1 | |
6 | 1 | 1 | 0 | 1 | |
7 | 1 | 1 | 1 | 1 |
Za vsako vhodno kombinacijo spremenljivk – to je vsako vhodno vrstico v pravilnostni tabeli – lahko zapišemo maksterm (ang. maxterm), ki ga označimo z
Poglejmo si pravilnostno tabelo zadnjega logičnega sistema s pripadajočimi makstermi:
↑ |
|||||
7 | 0 | 0 | 0 | 0 | |
6 | 0 | 0 | 1 | 0 | |
5 | 0 | 1 | 0 | 0 | |
4 | 0 | 1 | 1 | 1 | |
3 | 1 | 0 | 0 | 0 | |
2 | 1 | 0 | 1 | 1 | |
1 | 1 | 1 | 0 | 1 | |
0 | 1 | 1 | 1 | 1 |
Za pretvarjanje pravilnostne tabele v logični izraz imamo na voljo dva načina. Lahko uporabimo disjunktivno normalno obliko – DNO ali pa konjunktivno normalno obliko – KNO. Pri tem velja, da je oblika normalna, če operatorji disjunkcije in konjunkcije nastopajo samo v dveh nivojih.
Pri disjunktivni normalni obliki – DNO vzamemo minterme, pri katerih je rezultat logične funkcije oziroma izhod enak 1. Te minterme nato združimo z operatorjem disjunkcije (logični ALI). V našem primeru bi torej vzeli minterme
Ker za operator disjunkcije uporabljamo simbol +, za operator konjunkcije pa simbol ·, lahko gornji izraz opišemo kot vsota produktov (ang. sum of products – SOP). Zato v angleščini disjunktivno normalno obliko običajno imenujemo oblika SOP (ang. SOP form), zapišemo pa jo lahko tudi takole: