Gottschall, C. (2010): Truth Tables Light for Symbian (Wahrheitstabellen) (Software)

Abstract:

This program displays truth tables for propositions of classical logic. It supports the usual connectives, i.e. negation, conjunction, disjunction, conditional, NOR, NAND, and XOR. "`Truth Tables Light"' is restricted to expressions containing only the constants P, and Q.

BibTex