Re: [gulliver] Équation logique LATEX

[plaunay1 <pierre dot launay at ac-rennes dot fr>]

Alexandre Abadie a écrit :
> plaunay1 a écrit :
> > Suite au dernier atelier, j'ai essayé /overline et /bar pour écrire 
> > des équations logiques.
> >
> > Réponses sur http://per.launay.free.fr/latex/logique1.pdf ou .tex
> >
> > Conclusion /bar ne marche pas correctement
> Bonjour,
>
> Je crois que /bar ne s'applique bien que sur des caractères simple 
> tandis que /overline sert pour les expressions composées. Il est aussi 
> possible d'utiliser /overline sur un caractère simple mais c'est moins 
> esthétique.
Merci beaucoup pour l'info
> Exemple :
> \overline{A \oplus B} = A.B + \bar{A}.\bar{B}

Attention l'équation ci-dessus n'est pas celle du OU_exclusif mais de 
son complément la fonction égalité ou coincidence (XNOR)
> (trouvé sur wikipedia : http://fr.wikipedia.org/wiki/OU_exclusif)
>
> Alexandre
>
> ---- Liste gulliver ----
> Archives,    http://gulliver.eu.org/ml-archives/
> Description, http://gulliver.eu.org/ml/ml.html
> Bons usages, http://gulliver.eu.org/wiki/UsagesCourriels

Avec Kile (logiciel libre pour faire du LateX) , panneau de gauche dans 
délimiteurs j'ai \overline abc,
peut-on ajouter des termes perso comme \bar a ?

Pierre