TD d'Automatique Logique