Archive Liste Typographie
Message : Re: [typo] barre d'exclusion
(Marc Autret) - Lundi 27 Octobre 2008		 Navigation par date [ Précédent    Index    Suivant ]
Navigation par sujet [ Précédent    Index    Suivant ]
Subject:    Re: [typo] barre d'exclusion
Date:    Mon, 27 Oct 2008 12:05:50 +0100 (CET)
From:    Marc Autret <marcautret@xxxxxxx>
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@xxxxxxxxx>
À: typographie@xxxxxxxxxxxxxxx
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É