Présentation de lois_morgan.jps

%% 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
<latex>
$P_{1}$
</latex>
.5 2 [1.5 dup] cctexlabel

(node32) bnode
<latex>
$P_{2}$
</latex>
1.5 2 [1.5 dup] cctexlabel

(node11) (node21) (-) ncline
(node21) (node31) (-) ncline
(node21) (node32) (-) ncline


<latex>
$\equiv$
</latex>
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
<latex>
$P_{1}$
</latex>
2.5 2 [1.5 dup] cctexlabel

(node32) bnode
<latex>
$P_{2}$
</latex>
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
<latex>
$P_{1}$
</latex>
5.5 2 [1.5 dup] cctexlabel

(node32) bnode
<latex>
$P_{2}$
</latex>
6.5 2 [1.5 dup] cctexlabel

(node11) (node21) (-) ncline
(node21) (node31) (-) ncline
(node21) (node32) (-) ncline


<latex>
$\equiv$
</latex>
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
<latex>
$P_{1}$
</latex>
7.5 2 [1.5 dup] cctexlabel

(node32) bnode
<latex>
$P_{2}$
</latex>
8.5 2 [1.5 dup] cctexlabel

(node11) (node21) (-) ncline
(node11) (node22) (-) ncline
(node21) (node31) (-) ncline
(node22) (node32) (-) ncline