Logicheck is an interactive tool to test logical structures and expressions. It can be used to determine the validity of deductive arguments. It can also display the truth tables for such arguments, or just for a set of logical expressions. It is suitable for users familiar with either propositional logic or Boolean logic. Download the executable at https://sourceforge.net/projects/logicheck (Windows only, sorry!).