Igazoljuk a két alakból kapott függvények azonosságát, vagyis hogy igaz az

egyenlőség. Végezzük el a jobb oldalon a ”beszorzást”!

A kapott kifejezésben az első tényező 0. A negyedik tényezőt ”szorozzuk” 1-el.

A közös részek ”kiemelése” után

a zárójeles kifejezések elhagyhatók, mivel értékük 1.
A kapott eredménnyel igazoltuk az eredeti egyenlőség azonosságát.
Ezzel bizonyítottuk, hogy az igazságtáblázatból a két - ismertetett - módszer bármelyikével ugyanazt a függvényt kapjuk.
Összefoglalás
Összefoglalva: megállapíthatjuk, hogy az igazság- táblázatból rendezett ÉS-VAGY (diszjunktív kanonikus) alakú vagy rendezett VAGY-ÉS (konjunktív kanonikus) alakú logikai függvényt írhatunk fel. A két alak azonos függvényt ír le.
