Tokens
Token Logic
& AND
| OR
^ XOR
! NOT
1 TRUE
0 FALSE
> IMPLY
= XNOR
( ) sub-logic
new logic
Maths symbol Use instead
Λ &
V |
~ !
T 1
F 0
pq p>q
pq p=q