Résumé
Comment c’est calculé
Table de vérité
Formes canoniques / SOP simplifiée
Questions fréquentes
Quels opérateurs puis-je utiliser ?
Utilisez ! ou ~ pour NOT, & ou ∧ pour AND, ^ pour XOR, | ou ∨ pour OR, -> pour l’implication, <-> pour l’équivalence, ainsi que les constantes 0, 1, T et F.
Comment l’outil choisit-il entre Karnaugh et Quine–McCluskey pour simplifier ?
Jusqu’à 4 variables, l’outil regroupe les minterms comme sur une carte de Karnaugh. Avec 5 ou 6 variables, il passe à Quine–McCluskey avec sélection de Petrick. Au-delà de 6, il revient à la DNF canonique.