Varga Antal Hatékony eljárás Boole-függvények irredundáns normálformáinak előállítására. [Thesis] (Unpublished)