Az igazságtáblázat alapján felírt kanonikus alakú függvények a legtöbb esetben egyszerűsíthetőek.
Az egyszerűsítés azt jelenti, hogy a logikai algebra megismert tételeinek felhasználásával olyan alakot nyerhetünk, amelyben kevesebb művelet, és/vagy kevesebb változó szerepel.
Az egyszerűsítésre azért van szükség, mert ezután a feladatot megvalósító logikai hálózat kevesebb áramkört, vagy programozott rendszer (mikrogép) programja kevesebb utasítást tartalmaz.
Az algebrai módszer mellett kidolgoztak grafikus, illetve matematikai egyszerűsítési eljárásokat is.
A felsorolt egyszerűsítési (minimalizálási) eljárásokat a korábban bemutatott igazságtáblázattal leírt logikai feladat segítségével ismertetjük.
A feladat igazságtáblázata:
C | B | A | K |
0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 |
1 | 0 | 1 | 0 |
1 | 1 | 0 | 1 |
1 | 1 | 1 | 0 |