Re: [typo] barre d'exclusion

[Marc Autret <marcautret AT free.fr>]

Mea culpa! La barre de Sheffer n'est donc pas équivalente au "ou exclusif". 
Rédaction trop rapide.
Enfin, c'était joli quand même.


Marc Autret


----- Mail Original -----
De: "Jacques André" 
<jacques.andre35 AT orange.fr>
À: 
typographie AT listes.irisa.fr
Envoyé: Lundi 27 Octobre 2008 12:00:09 GMT +01:00 Amsterdam / Berlin / Berne 
/ Rome / Stockholm / Vienne
Objet: Re: [typo] barre d'exclusion


Le 27 oct. 2008 à 11:36, Gilles Barras a écrit :

> Sinon, voilà des truques sur la « barre verticale » (chouette, une  
> nouvelle
> appellation !) :
> http://fr.wikipedia.org/wiki/Barre_verticale

"nouvelle" pour pipe ? C'est vieux comme le monde (enfin le monde unix).

Quant au symbole de Sheffer
> le symbole de Sheffer où a | b signifie \neg(a \wedge b), c'est-à- 
> dire non(a et b), encore appelé NAND.


ce n'est pas non plus le "ou exclusif" : car si a est faux et si b est  
faux le résultat est vrai...
--
Jacques ANDRÉ