Un'app gratuita per Android, di Stefan Beike.
Truth Tables è un programma per generare e visualizzare tabelle di verità, sia in due dimensioni che nella più user-friendly tabella tridimensionale. Il programma supporta una vasta gamma di connettivi, tra cui la negazione, la congiunzione, la (inclusiva) disgiunzione, la condizionale (implicazione materiale) e la bicondizionale (equivalenza materiale). Supporta anche una serie di sistemi di logica non classica, come la logica a valori multipli, ed è compatibile con diverse rappresentazioni di tabelle di verità.
Le tabelle di verità sono generate in un formato facile da leggere e capire, che tu sia un principiante in logica o uno specialista. Il programma supporta una vasta gamma di connettivi diversi ed è compatibile con diverse rappresentazioni di tabelle di verità.
