logó DIGITÁLIS SZÁMÍTÓGÉPEK
Programozott tananyag a számítástechnika tanításához és tanulásához.
visszaVISSZA   
menüMENÜ   

Függvények azonossága



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.