Manuals/calci/NO

NO()

Description

• NO() 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.
• NO() can be used in integration with other function for evaluation.

Examples

1. NO = false

Related Videos

FALSE function

See Also

• YES
• FALSE

References

• Truth value

• List of Main Z Functions

• Z3 home