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