Eine Variante des Nelsonschen Verfahrens zum Aufsuchen der Primimplikanten eines Ausdrucks.