Karnaugh : carte

Saisir une expression booléenne ou choisir Mintermes et 2–4 variables. Calculer crée une carte compacte et une DNF minimale complète. Copier prend toute la formule. Exemple charge les quatre coins 0,2,8,10 : résultat ¬b ∧ ¬d. Par défaut restaure a & b et efface le résultat. Mintermes vides : fonction toujours fausse.

L’en-tête supérieur gauche nomme les variables des lignes et colonnes. Ordre Gray : 0,1 ou 00,01,11,10 ; première et dernière lignes/colonnes voisines. Cliquer les cellules1 ou les parcourir avec Tab et Enter/Espace pour sélectionner un groupe. Un rectangle de puissance de deux cellules contenant uniquement des1 est valide, y compris par les bords/coins. Effacer le groupe retire la sélection. Sélection invalide : message au lieu d’un terme inventé. Ouvrir Groupes de la DNF et cliquer un terme pour surligner ses cellules ; les groupes peuvent se chevaucher.

Syntaxe : !/¬ NON, &/∧ ET, ^/⊕ XOR, |/∨ OU, ->/→ implication, <->/↔ équivalence, parenthèses, 0/1 et mots opérateurs. Priorité dans cet ordre ; implication associative à droite. Noms ASCII sans distinction de casse, mots-clés réservés. Variables alphabétiques, première variable bit de poids fort du minterme. Constantes ou expressions à une variable complétées par des variables a/b inutilisées jusqu’à deux variables, sans modifier la fonction.

Énumération des rectangles valides, puis couverture minimale exacte par groupes maximaux (implicants premiers). Minimum de termes ET, puis de littéraux en cas d’égalité ; une des solutions minimales possibles est montrée. Pas de don't-cares, minimisation POS/CNF ni garantie de circuit sans aléas. Au plus quatre variables/16cellules, 4096caractères/256tokens. Mintermes : indices décimaux entiers, séparés par espaces/virgules/points-virgules, sans hex/fractions/signes ; doublons sans effet. Limites avant analyse récursive. Calcul local, entrée non sauvegardée dans cookies/URL ; presse-papiers persistant jusqu’à remplacement.

Les modes expression et mintermes conservent séparément les entrées brutes, les états calculés ou brouillons et les cases à un sélectionnées dans le stockage local du navigateur. Modifier efface résultat et sélection du mode actif. Exemple remplace seulement la session mintermes ; Réinitialiser efface les deux sessions. Au-delà de 100000 caractères de stockage automatique, le brouillon reste actif dans l’application, mais le rechargement restaure la copie précédente.

Seules les valeurs saisies sont conservées dans ce navigateur. Les résultats calculés et historiques ne sont pas enregistrés.