Programmes par Erpelstolz

Le seul but de ce programme est de générer, et d’afficher, des tables de vérité.Cette version gratuite prend en charge tous les connectifs habituels de la logique classique, c’est-à-dire la négation, la conjonction, la di