Bonjour,
 
Comment on peut coder cette règle en C++ :
 

 
 
e est une expression boolèene. En fait, pour moi e est un predicat d'une requete SQL
 
Merci d'avance.

Dit comme ca, ta demande n'est pas vraiment claire pour moi.
 
C'est quoi ton contexte, plus précisément ?

Tout d'abord Merci pour la rapidité de la réponse.
 
Ma question est :  
 
Comment coder la règle de distributivité de l'opérateur not sur l'opérateur and  ?
 
Mon contexte du travail est l'optimisation d'une requête SQL. Supposons qu'un utilisateur a donné une requête qui a dans sa clause where un prédicat de la forme

. Je veux appliquer la règle de distributivité de l'opérateur not sur les opérateurs and et or en remplaçant ce prédicat avec un nouveau prédicat de la forme

. En fait, je suis entrain de simplifier la requête de l'utilisateur
 
Rq: e1 et e2 sont des expression booléennes

Donc en entrée, tu as du texte, et tu dois parser une requête textuelle pour remplacer ces expressions ?
Ou ta requête arrive déjà dans un statut plus pratique à manipuler par du code ?

Regarde du coté de Lex/Yacc ou Antlr pour parser ton input.
 
Apres Tu pourras t'attaquer à optimiser la structure de donnée en sortie.