Copyright © 2007 Yves MARCOUX; dernière modification de cette page: 2007-09-28
Copyright © 2007 Yves MARCOUX
Les diagrammes de Venn, combinés avec les arbres renversés, constituent un outil extrêmement puissant pour comprendre la logique booléenne. Malheureusement, il est difficile de trouver des exemples entièrement développés en nombre suffisant pour permettre de s’exercer autant qu’on le veut. L’exerciseur de diagrammes de Venn résout ce problème, en générant des exemples aléatoirement et en les solutionnant ensuite directement sous vos yeux... Essayez-le!
Note pour les utilisateurs de Microsoft Internet Explorer: L’exerciseur est en format SVG (Scalable Vector Graphics), qui nécessite un plugiciel spécifique dans Internet Explorer. De plus, si vous utilisez Internet Explorer version 7 (ou plus récente), il se peut que la configuration de sécurité vous empêche d’utiliser l’exerciseur, même si le plugiciel nécessaire est installé.
Une solution simple à ces problèmes est d’utiliser le navigateur Web Firefox version 1.5 (ou plus récente), qui prend en charge le format SVG sans plugiciel particulier.
Venn diagrams, in combination with toppled trees, constitue an extremely powerful tool for understanding boolean logic. Unfortunately, it is difficult to find fully worked-out examples in sufficient number to allow exercising as much as desired. The Venn diagram exerciser solves that problem, by generating random examples, then solving them right under your eyes... Give it a try!
Note to Microsoft Internet Explorer users: The exerciser is in SVG (Scalable Vector Graphics) format, which requires a specific plug-in with Internet Explorer. Moreover, if you are using Internet Explorer version 7 (or later), the security configuration may prevent you from using the exerciser, even with the proper plug-in installed.
A simple solution to these problems is to use the Firefox Web browser, version 1.5 (or later), which supports SVG without any plug-in.