Programmi di Erpelstolz

L'unico scopo di questo programma è generare e visualizzare tabelle di verità.Questa versione libera supporta tutti i soliti connettivi della logica classica, cioè negazione, congiunzione, disgiunzione (inclusiva), condit