Il s'agit de l'application Linux nommée TRUTH TABLE SOLVER dont la dernière version peut être téléchargée sous le nom Il peut être exécuté en ligne sur le fournisseur d'hébergement gratuit OnWorks pour les postes de travail. Téléchargez et exécutez en ligne cette application nommée TRUTH TABLE SOLVER avec OnWorks gratuitement. Suivez ces instructions pour exécuter cette application: - 1. Téléchargé cette application sur votre PC. - 2. Entrez dans notre gestionnaire de fichiers avec le nom d'utilisateur que vous voulez. - 3. Téléchargez cette application dans ce gestionnaire de fichiers. - 4. Démarrez l'émulateur en ligne OnWorks Linux ou Windows en ligne ou l'émulateur en ligne MACOS à partir de ce site Web. - 5. Depuis le système d'exploitation OnWorks Linux que vous venez de démarrer, accédez à notre gestionnaire de fichiers avec le nom d'utilisateur que vous souhaitez. - 6. Téléchargez l'application, installez-la et exécutez-la. CAPTURES D'ÉCRAN SOLVEUR DE TABLE DE VÉRITÉ DESCRIPTION Truth Table Solver est un programme qui résout la table de vérité et génère toutes les expressions booléennes minimisées possibles.
quatre variables d'entrée: d A ce stade, il est possible de déterminer les combinaisons pour lesquelles la sortie est à l'état logique 1, c'est-à-dire quand au moins trois variables d'entrée sont à l'état Il y a cinq possibilités où trois variables ou plus sont à l'état logique 1. Ces possibilités sont les - a = 0, b = 1, c = 1 et d = 1, séquence (0111); - a = 1, b = 0, c = 1 et d = 1, séquence (1011); b = 1, c = 0 et d = 1, séquence (1101); b = 1, c = 1 et d = 0, séquence (1110); séquence (1111). La table de vérité est alors complétée en inscrivant 1 comme valeur de la sortie vis-à-vis de chacune de ces cinq 3. Forme "somme de produits": Minterm Chaque ligne de la table de vérité d'une fonction correspond à une séquence représentant les états logiques des variables indé pendantes de la fonction. Le minterm est le produit logique "ET" de tous les états logiques. Pour une fonction logique, il existe alors autant de minterms que de combinaisons possibles de variables indépendantes. Lorsqu'une variable est à l'état logique 1, elle est remplacée par son nom et quand elle est à l'état logique 0, elle est remplacée par sa négation.
La meilleure manière d'énumérer toutes les combinaisons sans se tromper est de compter en binaire; - I nscrire dans la colonne "sortie" la valeur de la fonction pour chaque combinaison. Les exemples suivants vous aideront à mieux maîtriser cette méthode. 1. Table de vérité d'une fonction à deux variables d'entrée Soit une fonction logique F de deux variables booléennes a et b. La sortie est à l'état logique 1 quand une et uniquement une seule variable d'entrée est à l'état logique 1. La figure suivante présente la table de vérité de cette fonction. Table de vérité d'une fonction F à deux variables d'entrée: a b F 0 1 Vous remarquez que cette table de vérité est composée de trois colonnes (deux pour les entrées et une pour la sortie) et de cinq lignes. Sur la première ligne sont inscrits les noms des variables d'entrées a et b et la sortie. Les quatre combinaisons possibles des entrées a et b sont inscrites sur les quatre lignes suivantes. Ces combinaisons sont inscrites dans l'ordre de comptage en binaire soit (00), (01), (10) et (11).
Objectif Construire une nouvelle table de vérité en combinant deux tables. Point clé Pour des expressions booléennes plus complexes, on construit colonne après colonne la table de vérité. Pour bien comprendre Notion de booléen Table de vérité Opérateurs logiques NON, ET, OU 1. Expression avec deux booléens On enchaine souvent les tests, du coup on obtient des expressions booléennes plus complexes, pour lesquelles il est souhaitable d'établir une nouvelle table de vérité. Méthode On commence par construire une table avec toutes les valeurs possibles de A et B. On rajoute à la chaine les colonnes avec les opérateurs logiques. Exemple: obtenir la table de vérité de A B 0 1 Explication de la table de vérité: 2. Expression avec 3 booléens S'il y a 3 booléens, il y aura 2 3 lignes (8) de valeurs pour représenter les différentes possibilités. C Les différentes valeurs possibles pour A, B et C On ajoute alors des colonnes pour obtenir l'expression booléenne, en utilisant les opérateurs booléens.
Voici quelques jeux de logique destinés à des cycles 3. Ces problèmes sont extraits de l'excellentissime ouvrage de Jean-Bernard et Elisabeth Schneider: 83 problèmes de logique; ACCES Editions. Livre qui propose 83 problèmes pour travailler en autonomie avec ses élèves (de 8 à 13 ans), notamment les cm2. C'est un livre qui trouvera facilement sa place dans la mallette du remplaçant, mais également en animation ou simplement pour les parents. Superbe complément à l'enseignement. Correctif intégré et liste de problèmes au début d'ouvrage. Possibilité de noter les prénoms pour avoir un suivi. Bref, revenons-en à nos moutons, je vous propose 3 problèmes destinés à des Cycles 3 ainsi que le petit guide didactique qui va avec. I - Didactique II - 3 problèmes de logique A Califourchon Les Inconnus Où suis-je? III - Corrigés I – Didactique Niveau: Cycle 3 Objectif: Apprendre à raisonner Compétences: Mettre en œuvre des stratégies de tâtonnement pour trouver la solution. Étayer ses réponses sur un raisonnement logique.
La valeur booléenne du minterm est alors égale au produit logique des variables booléennes. Minterm: fonction à trois variables Le tableau de la figure suivante présente les minterms associés à une fonction logique à trois variables d'entrée a, b et c. Minterms d'une fonction logique à trois variables 000 001 010 011 100 4 101 5 110 6 111 7 Vous remarquez qu'il y a huit combinaisons possibles et qu' un minterm est associé à chacune de ces combinaisons. Dans l'expression logique du minterm, chaque variable est remplacée par son nom quand elle est à l'état logique 1 et par sa négation quand elle est à l'état logique 0. Minterm: fonction à quatre variables Pour une fonction logique à quatre variables d'entrée a, b, c et d, les minterms associés à cette fonction sont au nombre de 16 et ils sont pré sentés dans le tableau de la Minterms d'une fonction logique à quatre variables 0000 0001 0010 0011 0100 0101 0110 0111 1000 8 1001 9 1010 1011 1100 12 1101 13 1110 14 1111 15
2 e coup de pouce: hypothèse Formuler une hypothèse et la vérifier 3 e coup de pouce: tableau de vérité Proposer le tableau de vérité: 1 c'est possible, 0 c'est impossible. Il faut le compléter au crayon de papier pour pouvoir effacer et corriger au fur et à mesure du traitement des informations 3) Temps de rédaction: Chaque élève rédige sa réponse en essayant d'être le plus clair possible. Proposer une phrase type à compléter. (suivant le niveau à qui l'on propose le problème) 4) Communication du résultat: Temps d'échange pour que les élèves puissent expliquer comment ils ont pu résoudre le problème. II – Problèmes de logique 1) A Califourchon Énoncé: Cinq enfants sont à califourchon sur un cheval: Denis, Gilbert, Olivier, Raymond et Vincent. Vincent est assis entre Raymond et Gilbert. Olivier n'a qu'un voisin: C'est Raymond qui ne peut le voir qu'en se retournant. Le voisin d'Olivier est Raymond qui ne peut le voir qu'en se retournant A l'aide de ces informations, trouve où chaque enfant est assis.