Re: [typo] barre d'exclusion

[Jacques André <jacques.andre35 AT orange.fr>]

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É