Discussion :

[fanmanga]

Bonjour,

j'ai des équations de ce type

(M04+M129+ M14 +M20 +M22 +M31+M32+ M34+M35+ M39 +M43 +M68 +M73 +M78+M79+M80+M82+M83 +M92+M94+M95+S01)/ ( M04+M129+ M15 +M20 +M22 +M31+M32+ M34+M35+ M39 +M44 +M68 +M73 +M78+M79+M80+M82+M85 +M92+M94+M95+S01)/ ( M05+M129+ M15 +M20 +M37 +M35+M32+ M34+M35+ M39 +M44 +M68 +M73 +M78+M79+M80+M82+M85 +M92+M94+M95+S01)/....

avec + c'est and logique et / c'est ou.

et je veux réduire l'équation en équation plus simple.




Merci pour vos réponse.

[fanmanga]

j'ai trouvé les termes qui se repete je dois les elimné je tombe sur une équation pas trops compliqué .
y a t'il un algorithme qui peux faire ca ou logiciel gratuit?

[yahiko]

Je t'invite à consulter la page Wikipédia de la Table de Karnaugh qui est une technique simple (mais avec des limites) de simplification de fonctions booléennes.

[fanmanga]

Merci pour ta réponse.

A la base j'ai la table de Table de Karnaugh de la ligne (M04+M129+ M14 +M20 +M22 +M31+M32+ M34+M35+ M39 +M43 +M68 +M73 +M78+M79+M80+M82+M83 +M92+M94+M95+S01)
puis la ligne ( M04+M129+ M15 +M20 +M22 +M31+M32+ M34+M35+ M39 +M44 +M68 +M73 +M78+M79+M80+M82+M85 +M92+M94+M95+S01 ainsi de suite.
et je veux générer la fonction logique raccourci de OU / entre des lignes particulieres.

En fait ses options je dois les rentrer dans un logciel CAO et si j'entre tous se code ca marche mais sa rend le plan un peux ilisible c'est pour ca je cherche un raccourci a cette équation.

[Delias]

avec + c'est and logique et / c'est ou.

Alors même qu'il existe une notation standardisée:
Et, And: & ou le point de multiplication
Ou, Or: +
Non, Not: La barre de surlignement ou /

Là en faisant l'inverse c'est le coup à embrouiller tout le monde.

Outre la table de Karnaugh que l'on étend facilement à 6 variables en 3D, il y a les propriétés des opérateurs telle que décrit dans le paragraphe "Propriétés" de la page Wikipédia sur l'Algèbre de Bool. Toutes les méthodes même la table de Karnaugh se basent sur ces propriétés. Et pour les détails voir cette page: Algèbre de Boole (structure)

Delias

[fanmanga]

Merci ton premier lien ne marche pas,ton deuxieme lien est intéressant.

En faite mon souci est que je ne peux pas dépasser 200 caractere sous ce logiciel pour entrer la fonction logique pour résoudre un probléme de produit.

c'est pour ca je cherche une méthode qui me donne une fonction qui dépasse pas 200 caractere pour que ca marche.

[Delias]

Le lien est corrigé

Il n'y a pas de méthode générale, c'est comme la décomposition en polynôme des équations mathématiques.
La technique bourrin, c'est d'écrire la formule en tant que somme de produit (somme = ou, produit = et) par exemple de la forme ABCD + /A/B/C/D + ABC/D + AB/CD, cela est toujours possible, puis d'appliquer les simplifications de base comme AB+A/B = A.
On tombera finalement sur la somme de produit la plus compacte qui est généralement utilisé en électronique (car implémentable sous la forme d'une double matrice de diode). C'est la base des PAL.

Après on peut réduire la longueur de l'expression en simplifiant de la sorte: ABC+ABD = AB(C+D) qui bien que plus court en écriture est plus complexe à implémenter en électronique, car nécessitant un niveau de plus.

Delias

[fanmanga]

je dois faire cette simplification par macro .

Alors je cherche la méthode la plus facile pour faire la simplification seule contrainte il ne faut pas dépassé 200 caractere.

[Delias]

Ben il faut utiliser ma méthode bourrin, qui n'est rien d'autre que la résolution mathématique de la table de Karnaugh à taille infinie, alors que graphiquement c'est 4 ou 6 variables max, Je ne m'en rappelais plus...

Et j'ai oublié deux détails:
- Il faut partir de la version maximale de la sommes des produits, chaque produit doit contenir l'ensemble des variables: ABC/D + ABCD + AB/CD + /A/B/C/D.
- A chaque étape on repère toutes les paires dont une seule variable change: ABC/D et ABCD qui donnent ABC de même que ABCD et AB/CD qui donnent ABD, on peut utiliser le même produit plusieurs fois (ici ABCD)
- Les termes non utilisé, reste dans l'équation finale, les autres partent au tour suivant: ABD et ABC au tour suivant et /A/B/C/D qui reste.

Ce petit exemple se termine ici car ABC et ABD ne sont pas simplifiable, l'équation finale est ABC+ABD+/A/B/C/D.
Après il reste possible de chercher les sommes ici: AB(C+D) + /A/B/C/D

Delias

[fanmanga]

j'ai déja la table de Karnaugh mais les variables ne sont pas infini le nombre de variable varie je crois qui ne dépassent pas 200 variable de M01 a M150 et de S01 jusqu'a S10.
et la forme que je dois simplifier est une forme particulier .

Si mon produit 1 a l'option (M03+M06+M129+M18+M21+M22+M25+M30+M32+M34+M35+M36+M39+M43+M62+M68 +M73+M78+M79+M80+M82+M87+M95+S01)
puis produit 2 un peu pariel ainsi de suite.

je dois simplifie la fonction sous forme particuliers

f=option produit 1/option produit 2.../option produit n avec / c'est ou logique.
Il faut que f depasse pas 200 caracetre.

[Delias]

à taille infinie -> sans limite de taille (tant que l'on a assez de mémoire)

Ne pas partir des produits complets entraine une plus grande difficulté. Par exemple dans mon précédent exemple:
Si j'ai ABC + AB/CD quel est l’identité qui donne ABC+ABD

A + /AB = A+B

Alors oui c'est possible, mais il faut intégrer beaucoup plus d'identités à la reconnaissance et travailler entre différent niveaux, Les identités sont sur les pages de Wikipedia.

Delias

[fanmanga]

Y a t'il un logiciel gratuit qui fait ca a noter que je peux avoir max 200 variable(M0...M120 S01..S10).

J'ai deux équation de ce type a simplifier.

U1=(M0+...M120)+S01+..S10 (ou il y a des valeur Nul) extrais d'une table de verité.
U2=(M0+...M120)+S01+..S10 (ou il y a des valeur Nul) extrais d'une table de verité.
..
Un=(M0+...M120)+S01+..S10 (ou il y a des valeur Nul) extrais d'une table de verité.
avec U1 U2...Un tous différente je peux pas avoir un U1 et Up identique.

Je cherche a réduire par exemple.

f=U1/U10/U19/U37
puis
g=(option+!U1)/(option+!U10)/(option+!U19)/(option+!U37) avec Option égal par exemple M0+M2.

Avec / c'est ou logique, le + c'est et, et ! c'est le sauf.

Comment je peux faire pour trouver f et g depuis mon table de verité de U1...Un?

[fanmanga]

J'ai trouvé une méthode simple a partir de table de vérité sans utiliser les identités pour réduire f mais je bloque sur g.