Effiziente Boolesche Berechnungen mit XBOOLE

Zusammenfassung

Boolesche Funktionen und Boolesche Gleichungen eignen sich hervorragend als Modelle einer Vielzahl von Sachverhalten in Wissenschaft und Technik. Sie sind darüber hinaus ideal an die rechnerinterne Verarbeitung angepaßt. Die verfügbaren Programmiersprachen stellen als Basis leider nur die elementaren Datentypen „Boolesche Variable“ und „Boolescher Variablenvektor“ und nicht den zur kompakten Modellierung und Implementierung erforderlichen Datentyp „Boolesche Punktion“ zur Verfügung. Um diese Lücke zu schließen, entstand im Ergebnis mehrjähriger Forschungs- und Entwicklungsarbeit das Softwarewerkzeug XBOOLE, das leicht handhabbar die effiziente Verarbeitung Boolescher Punktionen ohne logische Beschränkung der Anzahl Boolescher Variablen ermöglicht.