%% gh
%% Arbre d'une expression logique

%% échelle et étendue de l'image
60 setxunit
1 8 setxrange
-.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 feuilles de l'arbre
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
coul1
1.5 setlinewidth

5 setdboxit 		%% reglage bordure de l’encadrement 
/linearc .1 def 	%% pour arrondir les angles 
setPalatino

(node1) bnode
(Et) 4 4 [1.5 dup] cctext

(node22) bnode
(Ou) 6 3 [1.5 dup] cctext

(node21) bnode
(Ou) 2 3 [1.5 dup] cctext

(node31) bnode
(p) 1.5 2 [1.5 dup] cctext

(node32) bnode
(q) 2.5 2 [1.5 dup] cctext

(node33) bnode
(Non) 5 2 [1.5 dup] cctext

(node34) bnode
(Et) 7 2 [1.5 dup] cctext

(node41) bnode
(p) 5 1 [1.5 dup] cctext

(node42) bnode
(p) 6.5 1 [1.5 dup] cctext

(node43) bnode
(Non) 7.5 1 [1.5 dup] cctext

(node51) bnode
(q) 7.5 0 [1.5 dup] cctext

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Les branches de l'arbre
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
(node1) (node21) (-) ncline
(node1) (node22) (-) ncline
(node21) (node31) (-) ncline
(node21) (node32) (-) ncline
(node22) (node33) (-) ncline
(node22) (node34) (-) ncline
(node33) (node41) (-) ncline
(node34) (node42) (-) ncline
(node34) (node43) (-) ncline
(node43) (node51) (-) ncline