Manuals/calci/OFF

OFF()

Description

• OFF() function can be used to get the logical value FALSE.
• It requires no input argument. You can simply enter this function and it will return FALSE.
• OFF() can be used in integration with other function for evaluation.

Examples

1. OFF = false

Related Videos

FALSE function

See Also

• ON
• YES
• FALSE

References

• Truth value

• List of Main Z Functions

• Z3 home