DOM_BOOL is the data type of the truth values TRUE, FALSE,
MuPAD® uses a three-valued logic system, with these values (constants) TRUE, FALSE,
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
operators and, not, or, xor, ==>, <=>, and using them in conditions
of if or piecewise.
Boolean constants are atomic.
displayed as TRUE, FALSE is
displayed as FALSE,
and UNKNOWN is
shown as UNKNOWN.
The three constants can be types in as shown above. Additionally,
many MuPAD functions returns Boolean values, the most generic/prominent
two being bool and is.
Was this topic helpful?