Matavovszky Tibor, dr. Pásztorné Varga Katalin: Programrendszer BOOLE-függvényrendszer együttes egyszerűsítésére vagy minimalizálására (SZTAKI Tanulmányok 43/1975)
ÖSSZEFOGLALÁS A programrendszer célja, hogy könnyen kezelhető segédeszközt adjon az elektronikus berendezések tervezése során kapott Boole-függvények kezelésére. Nevezetesen az F={fbf2,...,fn} n=l,2,... teljesen vagy nem teljesen meghatározott komponens függvényekből álló függvényrendszer együttes minimalizálására vagy egyszerűsítésére. A programrendszer ugyanakkor alkalmas az egyes komponens függvények negáltjának /meghatározott esetben/ vagy részfüggvényeinek /fQ,f^,f^, nem meghatározott esetben/ kiszámolására is. A kitűzött cél érdekében biztosítottuk, hogy a kezelendő Fs(f-L»f2,,**’*n függvényrendszer a megszokott diszjunktív normálformában adható meg. E diszjunktív normálformákat mint adatokat dolgozza fel a programrendszer. A programrendszer működéséhez a komponens függvények formuláin kívül más adat nem kell. A programrendszer eredményként az egyszerűsítéshez vagy minimalizáláshoz szükséges olyan segédeszközt szolgáltat, amely a gyakorlat szerint a tervező munkájában hatékonyabb segítség, mint egyetlen nem redundáns vagy minimális formula megadása. A kapott eredmény /lásd 2. melléklet 9-10. oldal/: - az együttes lényeges primimatikánsok listája. A listában feltüntetve, hogy az illető konjunkció mely komponens függvényeknek lényeges primimplikánsa és melyeknek csak primimplikánsa; - az együttes primimplikánsok listája. A listában feltüntetve, hogy az illető konjunkció mely komponens függvényeknek primimplikánsa. E lista minimalizálás esetén tartalmazza az összes együttes primimplikánst, egyszerűsítés esetén az együttes primimplikánsok egy elegendően bő halmazát; - a komponens függvényeknek a lényeges primimplikánsok által le nem fedett pontjaiból képzett disz.lunkt halmazok listája. E pontoknak a primimplikánsok által való lefedés szempontjából való ekvivalenciaosztályai/ (Y], 35. oldal/; - a disz.lunkt halmazok primimplikánsokkal való lefedési táblázatát. A táblázatban az egyes diszjunkt halmazoknál feltüntetjük, hogy mely komponens függvényekben nem fedi azt lényeges primimplikáns, 3