Zur Minimierung von partiellen Booleschen Funktionen bei gegebener nichtkanonischer Normalform.