 . Calcul des noncs . Next . Plus d' information sur Scheme . Up . Rsolution en Logique . Previous . Rappel sur les arbres . partir de l . comme on sait que . est une base . on peut construire les expressions reprsentant . et . Pour tablir que l' oprateur non-et constitue une base . il suffit de prouver que cet oprateur  la mme puissance d' expression qu' une autre base . Cette dernire expression . nous donne la clef pour exprimer une expression utilisant le connecteur . et ou le connecteur . On obtient rapidement que . et que . Pour tablir que l' oprateur non-ou constitue une base . il suffit de prouver que cet oprateur  la mme puissance d' expression qu' une autre base . Cette dernire expression . nous donne la clef pour exprimer une expression utilisant le connecteur . et ou le connecteur . Next . Plus d' information sur Scheme . Up . Rsolution en Logique . Previous . Rappel sur les arbres . &nbsp . Contents . Marc-Michel Corsini local 2002-03-15 . 
