DOM_BOOL is the data type of the truth values
MuPAD® uses a three-valued logic system, with these values (constants)
Using a Boolean constant as a function returns that constant
unchanged. The arguments of the call are not evaluated.
The most important operations on Boolean values are the logical
<=>, and using them in conditions
Boolean constants are atomic.
displayed as TRUE,
displayed as FALSE,
shown as UNKNOWN.
The three constants can be types in as shown above. Additionally,
many MuPAD functions returns Boolean values, the most generic/prominent