>  a definition of your symbols

it confused me too, till I remembered that some notations use a quote ' for boolean negation.

So

+ or 
* and
' not
() grouping
= assignment
[download]