Navigation alternative
Figures / Images
BBgraf
MetaPost
PSTricks
Format SVG
Asymptote
EPiX
Gnuplot
TeXGraph
Librairie GD
PostScript
SWFtools
Calculs
BC
Giac / Xcas
Maxima
Pari / GP
Scilab
Scripts p*
Documents
TeX au collège
TeX png
Lua(La)TeX
Cours etc.
Contributions
Le cours d'Ismaël
Astronomie
Bases
Base Brevet
Base Collège
Base Graphisme
Base Ipe
Base JPS (BBgraf)
Base MetaPost
Base PSTricks
Dépôt Git
Fichier JPS
Accueil
Présentation
Exemples
Papiers
Banque d'images
Albums et animations
Formulaires
Célébrités
Postscript
Chimie
Documentation
Sources et téléchargement
Édition du fichier lois_morgan.jps
Retour
%% gh %% Illustration des lois de Morgan %% échelle et étendue de l'image 60 setxunit 0 9 setxrange 1.5 4.5 setyrange %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% définitions des couleurs %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% /coul0 {0 0 0 0.5 setcmykcolor} def %gris /coul1 {noir} def /coul2 {orange} def /coul3 {rouge} def /coul4 {bleu} def %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Les initialisations pour l'arbre %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% coul1 1.5 setlinewidth 5 setdboxit %% reglage bordure de l’encadrement /linearc .1 def %% pour arrondir les angles setPalatino %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Le premier arbre %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% (node11) bnode (Non) 1 4 [1.5 dup] cctext (node21) bnode (Et) 1 3 [1.5 dup] cctext (node31) bnode
$P_{1}$
.5 2 [1.5 dup] cctexlabel (node32) bnode
$P_{2}$
1.5 2 [1.5 dup] cctexlabel (node11) (node21) (-) ncline (node21) (node31) (-) ncline (node21) (node32) (-) ncline
$\equiv$
1.75 3.5 [1.5 dup] cctexlabel %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Le deuxième arbre %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% (node11) bnode (Ou) 3 4 [1.5 dup] cctext (node21) bnode (Non) 2.5 3 [1.5 dup] cctext (node22) bnode (Non) 3.5 3 [1.5 dup] cctext (node31) bnode
$P_{1}$
2.5 2 [1.5 dup] cctexlabel (node32) bnode
$P_{2}$
3.5 2 [1.5 dup] cctexlabel (node11) (node21) (-) ncline (node11) (node22) (-) ncline (node21) (node31) (-) ncline (node22) (node32) (-) ncline %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Le troisième arbre %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% (node11) bnode (Non) 6 4 [1.5 dup] cctext (node21) bnode (Et) 6 3 [1.5 dup] cctext (node31) bnode
$P_{1}$
5.5 2 [1.5 dup] cctexlabel (node32) bnode
$P_{2}$
6.5 2 [1.5 dup] cctexlabel (node11) (node21) (-) ncline (node21) (node31) (-) ncline (node21) (node32) (-) ncline
$\equiv$
6.75 3.5 [1.5 dup] cctexlabel %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Le quatrième arbre %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% (node11) bnode (Ou) 8 4 [1.5 dup] cctext (node21) bnode (Non) 7.5 3 [1.5 dup] cctext (node22) bnode (Non) 8.5 3 [1.5 dup] cctext (node31) bnode
$P_{1}$
7.5 2 [1.5 dup] cctexlabel (node32) bnode
$P_{2}$
8.5 2 [1.5 dup] cctexlabel (node11) (node21) (-) ncline (node11) (node22) (-) ncline (node21) (node31) (-) ncline (node22) (node32) (-) ncline
Tapez les 3 lettres : AWE