Verschiedene Shannon-Zerlegungen und deren Leistungsfähigkeit in Benchmarks: Shannon-Zerlegung, Benchmarks für verschiedene heuristische Verfahren zur Vereinfachung von boolschen Funktionen