The Boolean expressions are employed in the following plugins:

• Conditional Partial Order Graph – to specify the graph conditions
• Digital Circuit – to specify set/reset functions of circuit components.

Workcraft recognises the following fairly standard syntax for the Boolean expressions:

<expression> ::= <term> | <term> + <expression> | <term> ^ <expression> | <expression> => <expression>
<term> ::= <factor>  | <factor> * <term>
<factor> ::= <literal> | <literal>' | (<expression>) | (<expression>)'
<literal> ::= C_STYLE_NAME | 0 | 1

The following five Boolean operators are used in this grammar:

• * - conjunction (AND); alternatively & can be used, but it will be automatically replaced by *.
• + - disjunction (OR); alternatively | can be used, but it will be automatically replaced by +.
• ^ - exclusive disjunction (XOR).
• ' - Negation (NOT); alternatively prefix ! can be used, but it will be automatically replaced by suffix '.
• => - implication

Here are few examples of good Boolean expressions:

• a+b
• (op1*op2)'
• (A+B)' => C*(D^E')