Actualité

Le mac et la logique

Par Coco, le

Le mac et la logique


mis logiciens je vous ai déniché aujourd'hui un logiciel bien sympathique: BooleanCalculator permet d'établir la table de vérité de n'importe quelle assertion définie avec les connecteurs logiques de base: and, or et not.

Ainsi vous pouvez voir ci contre l'illustration de la table de vérité de la fameuse barre de Sheffer.

Petit bémol tout de même: on peut regretter la non-implémentation standard de l'implication et l'impossibilité de définir ses propres connecteurs logiques...

Télécharger BooleanCalculator

Suivez-nous !

Guide d'achat

Consulter le guide d'achat

Dossiers Divers

Plus de dossiers Divers

Dernières vidéos

Voir toutes les videos