**Usage Direction**

- Use any alpahbet [A-Z or a-z] as variable.
- Variables are case sensitive. 'X' is different from 'x'

Use the following symbols:

AND | * |

OR | + |

NOT | – |

NOR | # |

NAND | $ |

XOR | ^ |

IMPLIES | => or <= |

BICONDITIONAL(iff) | <=> |

You can assign complex statement to a variable with “**:**” operator. For example:

t**:**x*(x+y)

q**:**y+(x*y)

and you can even perform operations on each of the new variables that you created. For example:

t*q

operator | priority | associativity |

brackets (), {},[] |
1 | left |

not | 2 | right |

and | 3 | left |

xor | 4 | left |

or | 5 | left |

conditional | 6 | right |

biconditional | 7 | right |