Manuals/calci/YES

YES()

Description

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

Examples

1. YES = true

Related Videos

TRUE function

See Also

• NO
• FALSE

References

• Truth value

• List of Main Z Functions

• Z3 home