Les tableaux de Karnaugh sont une forme particulière de table de vérité. En respectant certaines règles de présentation,
ils permettent d'obtenir la forme la plus simple possible d'une fonction logique.
Créer une tableau de Karnaugh avec une instruction logique
Éditer de tableau de Karnaugh, créer FND
Des tableaux de Karnaugh sont créés ici pour des expressions logiques.
Un maximum de 6 variables logiques peut être utilisé.
Les opérateurs autorisés sont (en diminuant la priorité des opérateurs dans cet ordre):
!
~
"Opérateur NON"
(négation)
&&
*
"Opérateur ET"
(conjonction)
||
+
"Opérateur OU"
(disjonction)
De plus, des parenthèses peuvent être utilisés.
Alternativement, vous pouvez éditer une tableau de Karnaugh cellule par cellule.
Dans tous les cas, la FND simplifiée (forme normale disjonctive) associée est créée.
Pour les en-têtes de lignes et de colonnes, la notation habituelle des conjonctions est utilisée dans les diagrammes KV.
De plus, les zones de colonnes et de lignes associées sont codées par couleur.
Une tableau de Karnaugh pour n variables comporte 2n cellules, correspondant au nombre de possibilités de combiner vrai et faux.
Chaque cellule représente le résultat de l'expression logique (1 pour vrai, 0 pour faux) avec la conjonction de toutes les n variables,
occupe comme les en-têtes de colonne et de ligne de la cellule respective décrivent ensemble.
Une tableau pour n+1 variables est créé ici à partir d'un diagramme pour n variables par miroir.
Pour n pair, le miroir est sur le bord droit et pour n impair sur le bord inférieur.
Avant que le diagramme ne soit construit, les variables sont ordonnées lexicalement.
La dernière et avant-dernière variable après tri est alors affectée différemment dans les deux moitiés du diagramme.
Si plusieurs Karnaugh tableaux doivent être créés en parallèle, les expressions associées doivent être saisies séparées par des points-virgules.