Boolesche Gleichungen: Theorie, Anwendungen, Algorithmen

Boolesche Gleichungen stellen ein interessantes und wichtiges Gebiet dar. Sie sind wichtig fiir den Praktiker der verschiedensten Fachrichtungen, fiir die stellvertretend der Entwurf digitaler Schaltungen und Systeme, die Verarbeitung diskreter Informationen, die Analyse und Synthese von Steuerungen und Recheneinrichtungen, die rechentechnische Behandlung von Graphen sowie die diskrete Optimierung genannt sein sollen. Sie sind wichtig fUr den Theoretiker, weil sie ein vergleichsweise einfaches, aber trotzdem reichhaltlges und iiber- schaubares Werkzeug liefern, einen nicht zu komplizierten Zugang zu algebraischen Denk- methoden ermoglichen und (mit noch zu nennenden Einschriinkungen) effektiv gelOst werden konnen. Der vorliegende Sammelband, der Arbeiten von Autoren aus der DDR, der UdSSR und einen Beitrag aus Belgien enthiilt, entstand innerhalb wissenschaftlicher Schulen, die gerade fUr die genannten Zielstellungen in den verschiedenen Llindern reprasentativ sind. In allen Fallen arbeiten die Autoren an der fruchtbaren Schnittstelle zwischen Grundlagenforschung und An- wendungen. Aus allen drei Schulen sind viele eigenstlindige Arbeiten zur Forderung von Theorie und Praxis bekannt geworden, die natiirlich nur teilweise in diesem Sammelband Widerspiegelung finden konnen.