====== Boolean expressions ======

The Boolean expressions are employed in the following plugins:
  * [[.cpog:start|Conditional Partial Order Graph]] -- to specify the graph conditions
  * [[.circuit:start|Digital Circuit]] -- to specify set/reset functions of circuit components. 

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

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

The following five Boolean operators are used in this grammar:
  * ''%%*%%'' - [[wp>Logical_conjunction|conjunction (AND)]]; alternatively ''%%&%%'' can be used, but it will be automatically replaced by ''%%*%%''.
  * ''%%+%%'' - [[wp>Logical_disjunction|disjunction (OR)]]; alternatively ''%%|%%'' can be used, but it will be automatically replaced by ''+''.
  * ''%%^%%'' - [[wp>Exclusive_or|exclusive disjunction (XOR)]].
  * ''%%'%%'' - [[wp>Negation|Negation (NOT)]]; alternatively prefix ''%%!%%'' can be used, but it will be automatically replaced by suffix ''%%'%%''.
  * ''%%=>%%'' - [[wp>Material_conditional|implication]]

Here are few examples of good Boolean expressions:
  * ''%%a+b%%''
  * ''%%(op1*op2)'%%''
  * ''%%(A+B)' => C*(D^E')%%''