You can enter the formula with variables named as any words WITHOUT spaces except the reserve words, and the evaluation order of operators inside the formula follow the precedences in the operator table.

Examples of formula

• a and b
• a or b
• a or not b
• not (a and b) <=> (not b) or (not a)

Operator Table

The lower number of precedence in the table means the higher precedence for evaluation. Therefore, not is evaluated before and, and is evaluated before or

Operator	Meaning	Example	Precedence
not	NOT operation	not a	1
and	AND operation	a and b	2
or	INCLUSIVE OR operation	a or b	3
=>	IMPLIES operation	a => b	4
<=>	logical equivalent	a <=> b	5

Reserved words

These are the words that you cannot use to name a variable inside the formula.

• not
• and
• or
• =>
• (
• )
• <=>