Methode zur Minimierung boolescher Funktionen, relevant für die Optimierung von KI-Entscheidungslogik und Hardware.