A ternary matrice is the most important datatyp in XBOOLE. Externally they represent matrices, whose rows (ternary vectors) and columns (binary problem variable) consist only of the symbols "0", "1" or "-". The row order can be arbitrary permutable (e.g. ternary vector lists - TVL) or static (e.g. variable tuple - VT).

You can use XBOOLE to resolve problems, whose syntax equals boolean algebra, boolean differential calculus and selected matrix operations. In this context you can solve

• logical design problems of switching networks and machines, which include composition, analysis, optimization and calculation of test data,
• problems in discrete mathematics, especially in graph- and relation theory and their application,
• problems in discrete signal- and image operations

Different problems, characterized as highly complex and mostly NP-hard in all problem classes were already solved successful. To this categories belong

• the combinative design of switching networks with different algorithms and for different switching classes,
• the simulating und qualitative analysis of digital circuits,
• the calculation of test allocations for combinative switching networks,
• the application of different graph- and network models, their analysis and manipulation,
• the analysis of one dimensional (time sensitive signals) and two dimensional (discrete images) signal representations, e.g. for recognition of layout structures.

To test abilities of the XBOOLE system, you can choose two different ways on this site. On the one hand you can use the application "XBOOLE Monitor" and on the other hand the Java Applet "Distributed XBoole". Usage informations are under the menu item "informations". You should read these informations befor you use these applications to minimize errors during usage.