Minimisierung mit Nichtkombinatorischen Methoden

Als ‘Normsprache’ wird der passend interpretierte Aussagenkalkul uber der bedingten Disjunktion verwendet. Nach seiner Beschreibung und der Angabe eines auf ihm beruhenden nichtkombinatorischen Minimisierungsverfahrens werden die beiden Fragen Gehandelt: 1. Allgemeine Kriterien der Minimisierbarkeit. 2. Anwendung des Verfahrens in der Schaltwerktheorie.