suis ce lien sur le site :

http://www.commentcamarche.net/logic/intro.php3

et un petit exo :

http://www-ipst.u-strasbg.fr/pat/autom/ex-autom/exo1.htm

A+