Gottschall, C. (2010): Truth Tables 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.

    BibTex