A truth table evaluator is a computer program that evaluates a truth table, i.e., it produces the truth value of a statement for all possible values of its variables.
There are at least a few on the web:
Brian Borowski's TT Constructor (http://www.brian-borowski.com/index.html)
Joole (http://stephan-brumme.com/programming/Joole/)
Orion Transfer TT Evaluator (http://svn.oriontransfer.org/TruthTable/)
Lawrence Turner's TT Evaluator (http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/)
Chat with our AI personalities
Making a truth table is actually very simple.For the statement P, it can either be true, or false.P--TFNOT P, or -p (or ~p) is the opposite. If P is true, then not P is... false!The same holds true for if P is false, what is not P? True!The truth table for ~p looks like thisP | ~p--------T | FF | T
. p . . . . . q. 0 . . . . . 1. 1 . . . . . 0
ABC
yes, it is called the truth value
Not sure I can do a table here but: P True, Q True then P -> Q True P True, Q False then P -> Q False P False, Q True then P -> Q True P False, Q False then P -> Q True It is the same as not(P) OR Q