salut
elle est où la simplification (A\\ = A et alors ?)

edit : si tu ne te souviens plus de Morgan et co va voir
http://www-ipst.u-strasbg.fr/pat/autom/autom03.htm