I have just added to the “Logicians’ miscellany” page of LaTeX for Logicians a new heading “Help for generating truth-tables”. There is now a link there to a Truth Table Generator webpage by Michael Rieppel. This page contains a JavaScript program which will generate a truth table given one or more well formed formulas of sentential logic, and provide you with LaTeX source for the table.
Thanks to Sara Uckelman for the pointer to this. Any other recommendations for similar or even better resources?
Unfortunately, the truth-table generator table uses \top and \bot for true and false unless you ask for the plain-text version. I find a \top and \bot table significantly harder to read than one that uses T and F.
It looks like my comment of December 7 got hung up in moderation for having 2 links. IF you accept that THEN delete this. ;)
We’ll see if anyone gets sufficiently encouraged to try what Wittgenstein tried, namely to draw truth-tables also for quantificational logic. More seriously, forget about these annoying tables that do nothing else but hamper the learning of logic!