This tool generates truth tables for propositional logic formulas.
You can click here to get the source code and more information.
I will appreciate it if you can upload issues!
there are some operator supported: /\, \/, ~, ->, ^, <->.