[truthtable]

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 |