This article applies to:

Simplify Function

Relevance:

Variable occurrences within this function do not contribute towards the overall relevance of those variables.

Consequently, such variables must occur in at least one other context for them to be considered relevant.

Description:

Simplify the expression by applying boolean re-write rules.

note

Note this function is always evaluable.

Returns:

Boolean

Parameter:

Parameter	Data Type	Description
1	Boolean	Any boolean expression.

Examples:

Expression	Result
Simplify( X or not(X) ) whether or not X is known	true
Simplify( X and not(X) ) whether or not X is known	false