%% 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