## New Masterdoc for Truth Tables

June 30, 2011 No CommentsI’m working on the new version of my truth table ‘apps’ in AS3 / Flash. As with the Venn master document, I make a single source file that can then be spawned to support the various variations with small coding changes. Here’s the original, sans the standard ‘wrapping’ of instructions, etc.

Basically, it is set to allow students to complete the binary and unary truth tables, and then prompts them to check validity. I’ll strip out the functions to make the versions for introducing the connectives and the basic standard forms for which I have ‘formal’ apps (modus ponens, modus tollens, affirming the consequent, etc). Then, I’ll add pretty instructions at a later date. Let me know if there are any bugs, etc: