NEMESSZEGHY GYÖRGY
Boole-függvények optimalizálása véges antivalencia gyűrűben
Boole-függvények optimalizálása véges antivalencia gyűrűben
A dolgozat a két értékű véges antivalencia gyűrű és Boole algebra axiómáinak ismertetése után algoritmust közöl a Boole függvények optimalizálására. A Boole algebra diszjunktív normál formuláit átírja antivalencia gyűrűbe, ahol egyszerűen lehet a redundáns termeket kiszűrni. Visszatérve az antivalencia gyűrűből Boole algebrába megkaphatjuk az optimális kifejezést. A közölt algoritmus jó programozható.