Activate in the menu labeled by ‘?’ the item Help Topics. Select in the dialog window that appears now in the tab Content the item Graphical User Interface and there the item Menus. Study the meaning of the menu items.

In the initial state of the XBOOLE Monitor all items in the menus Derivative, Matrices, and Sets are deactivated, indicated by greyed items, because so far no TVLs exist. A TVL can be created using the item Create TVL... in the menu Objects, but this item is deactivated in the initial state of the XBOOLE Monitor as well, because up to now no Boolean space has been defined. Hence, it is necessary that the user of the XBOOLE Monitor defines at least one Boolean space.

The XBOOLE Monitor allows calculations for logic functions of an unlimited number of variables. These variables must be associated with Boolean spaces where the number of variables in each Boolean space is restricted by the user of the XBOOLE Monitor who defined such spaces.

In order to define a new Boolean space, the item Define Space... in the menu Objects can be used. Figure 1.3 shows the Dialog window that appears after selecting this item. In the upper edit control the number of the Boolean space to be created is suggested and can be changed into a new number which has not been used so far as a space number. In the lower edit control the maximum number of variables in the range of 1 to 1952 can be specified. Note: this value cannot change later on. The suggested number of variables 32 fits to the word length of the CPU and is generally a good choice.