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Ü   

Kanonikus alakokok közötti átalakítás



Az előzőekben megismertük, hogyan lehet a logikai feladat igazságtáblázatából felírni a logikai függvény két kanonikus alakját.

Az egyik kanonikus alakú függvény egyszerűsített formája alapján nagyon egyszerűen felírható a másik rendezett alak egyszerűsített formája.

Az átalakítás menete a következő:

    I.     az ismert függvény alapján felírjuk az inverz függvényt (amely az alap függvény tagadottja), ezt a hiányzó indexű termek alkotják, ha

            a.     ismert a diszjunktív alak:
                   

            b.     ismert a konjunktív alak:
                   


    II.     az inverz függvény tagadásával nyerjük a másik alakú rendezett függvényt.
A tagadáskor a függvény - típusjele az ellenkezője lesz, és mindegyik index (i) kiegészítőjét kell vennünk a következő számítás alapján:

                   

            -     A tagadások elvégzése után:
                   

                   

megkaptuk a keresett alakú függvényeket.