cs113_ttgen

INSTALLATION:

• git clone https://github.com/david-topham/ttgen.git ttgen
  
• make -C ttgen install
  

UPDATE:

• Go to the git repository
  
• make uninstall
  
• git pull
  
• make install
  

If you have an old version, make sure uninstall it.
Because of old objects files, it may not compile.

OPTION:

• -d, --detailed Includes all subpropositions of given proposition.
• -h, --hline Prints a horizontal line between each permutation.
• -m, --mute Prints without the table environment.
• -r, --reverse Prints reverse order for TT rows.
• -c, --circuits Prints 0/1 instead of F/T.
• -s, --sort Prints alphabetical order.
• --help Prints this text.

BOOLEAN EXPRESSION:

• [A-Z] [a-z] Available letters
• '(' ')' To denote parentheses.
• ~ 'NOT' logic operator
• & 'AND' logic operator
• | 'OR' logic operator
• ^ 'XOR' logic operator
• -> 'IMPLY' logic operator
• <-> 'IF AND ONLY IF' logic operator