Manuals/calci/TRUE

TRUE()

Description

• TRUE() function can be used to get the logical value TRUE.
• It requires no input argument. You can simply enter this function and it will return TRUE.
• Logical value of FALSE is '0'. Logical value of TRUE is '1'.
• TRUE() can be used in integration with other function for evaluation.
• TRUE Function is mainly provided for compatibility with the spreadsheet program.

Examples

1. TRUE = true
2. TRUE + 3 = 4
3. TRUE + TRUE + TRUE = 3

Related Videos

TRUE function

See Also

• FALSE
• FALSEVALUE
• TRUEVALUE

References

• Truth value

• List of Main Z Functions

• Z3 home