Comment devenir un green-surfer ? – Green Web – 2/4

Rejoints au château par leurs potes vidéastes (Fabien Olicard, Ilia Renon, Margaux Tips, Doc Seven, Céline H, Enjoy Phoenix, Max Bird et TomWallop), Lénie et Mathieu vont parler «solutions». Comment restreindre notre empreinte carbone ? Comment surfer plus sobrement sur le WEB ? Dans cet épisode, vous trouverez pêle-mêle, des interviews d’experts, un reportage en Afrique et un Quizz endiablé !

Source : Green Web saison 1 – épisode 2 en streaming sur France tv slash

Internet, une pollution monstrueuse – Green Web – 1/4

Entre des datacenters alimentés par des centrales à charbon et des smartphones au bon goût d’obsolescence programmée, notre internet virtuel s’ancre dans le réel avec un bilan carbone bien pourrave ! 2 ans après « La pollution du Web » Lénie et Mathieu font le point sur notre consommation et notre pollution numérique. Spoiler : ça s’est pas arrangé… mais alors, pas du tout. Pour vous remonter le moral, une belle surprise vous attend en fin de vidéo !

Source : Green Web saison 1 – épisode 1 en streaming sur France tv slash

Comment vérifier la simplification d’une équation logique avec une table de vérité ?

Représentation d’une table de vérité avec Wolfram Alpha.

Les systèmes logiques sont présents dans de nombreux programmes de formation et à tous les niveaux; bac professionnel (bac pro) , bac technologique STI2D , bac S – SI (sciences de l’ingénieur), BTS, DUT, et CPGE (MPSI, TSI, PT).

Son étude s’appuie sur les fonctions logiques de base (OUI, NON, ET, OU, OU exclusif) et fait partie d’une culture technologique de base pour toutes formations technologiques.
 
La table de vérité (truth table) est un outil indispensable en logique combinatoire. Elle représente les états d’une variable logique de sortie à partir des différentes combinaisons des variables d’entrée.
 
Il existe un outil en ligne rapide et gratuit pour cela: Wolfram Alpha à l’adresse suivante: http://www.wolframalpha.com/
Wolfram alpha Cet outil permet notamment de représenter la table de vérité d’une équation logique.
 
À travers deux exemples de niveau différent, je vais montrer comment représenter rapidement et gratuitement une table de vérité à partir d’une expression logique.

Exemple n°1:

Prenons par exemple l’expression logique suivante:
exemple 1 - expression logique et fonctions
 
Dans Wolffram alpha pour obtenir la table de vérité d’une expression logique il faut saisir la commande ‘truth table puis l’équation logique en remplaçant la notation algébrique des fonctions logiques par l’équivalent anglo-saxon.
 
  • or = fonction logique OU
  • and = fonction logique ET
  • ~ = fonction NON
wolfram alpha - format
Equation logique 1 - wolfram alpha
On obtient la table de vérité ci-dessous, avec “T” = “True” = “1” et “F”= “False” = “0”
 
Exemple 1 - Table de vérité - Wolfram Alpha
Table de vérité n°1

 

La table de vérité peut être aussi utilisée pour vérifier par exemple la simplification d’une expression logique.

L’expression ci-dessus peut se simplifier algébriquement par:
equation logique 1 simplifiéVérifions la table de vérité avec Wolfram alpha la table de vérité.
De la même façon que précédemment, l’expression logique dans la barre de saisie se transforme de la manière suivante:
 
Equation logique 1 simplifié - wolfram alpha On obtient la table de vérité suivante:
Exemple 1 simplifié - Table de vérité - Wolfram Alpha
Table de vérité n°2

Les deux tables de vérité sont identiques. La simplification algébrique est donc correcte.

 

Exemple n°2:

Prenons maintenant comme deuxième exemple une équation logique plus complexe avec 3 variables d’entrée à simplifier algébriquement:
equation logique 2 simplifié
 
De la même façon que précédemment, l’expression logique dans la barre de saisie se transforme de la manière suivante:
Equation logique 2 simplifié - wolfram alpha
 
truth table (~a and b and c ) or (a and ~b and c) or (a and b and ~c ) or (a and ~b and ~c) or (~a and ~b and c)
 
On obtient la table de vérité ci-dessous:
Exemple 2 - Table de vérité - Wolfram Alpha
Après simplification l’expression logique devient:
equation logique 2 simplifié
Vérifions avec Wolfram Alpha sa validité:
Equation logique 2 simplifié - wolfram alpha
L’expression logique dans la barre de saisie se transforme de la manière suivante:
On obtient la table de vérité ci-dessous:
Exemple 2 simplifié - Table de vérité - Wolfram AlphaLes deux tables de vérité sont identiques, par conséquent la simplification algébrique est correcte.

Pour aller plus loin

Dopamine (8/8) – Twitter

Tu ne rates aucun tweet et tu checkes ton smartphone constamment ? C’est irrésistible et tu fais tout pour ne rater aucune info. C’est normal car l’appli est basée sur un mécanisme essentiel et primitif de ton cerveau, l’ANXIÉTÉ qui se manifeste par la peur de passer à côté de ce qui se passe online, te poussant à rester continuellement connecté.

Source : Dopamine (8/8) – Twitter | ARTE

Dopamine (7/8) – Uber

Ça y est ! Tu t’es enfin décidé(e) à devenir chauffeur Uber. Tu penses être libre et indépendant(e) mais c’est plus compliqué. L’appli va tout faire pour te donner des ordres sans que tu t’en aperçoives en utilisant la technique du NUDGE, des petits coups de coude pour te pousser vers ce qu’Uber considère comme une meilleure décision pour toi… ou pour ses actionnaires !

Source : Dopamine (7/8) – Uber | ARTE

Comment simplifier une équation logique ?

Cet article présente une application Android pour les techniciens et ingénieurs en électronique ou automatisme, et d’une manière générale pour tous les étudiants en sciences et technologie qui désirent un outil efficace pour simplifier les expressions et les équations logiques (booléennes).

L’application Android “Morgana Boolean Calculator X

simplification d'équation logique

Morgana Boolean Calculator X” est une application permettant de simplifier algébriquement une équation logique. Avec la version gratuite, que j’ai testée, vous pouvez saisir une expression logique de 4 variables et les fonctions logiques NON, OU, ET. L’application est téléchargeable en cliquant sur le lien suivant: “Morgana Boolean Calculator X

Cette application a quelque chose d’unique, elle permet non seulement de simplifier une expression logique, mais aussi, et surtout de vous montrer les différentes étapes de simplification.

L’application prend en charge les différentes propriétés de l’algèbre de Boole:

  • La commutativité;
  • L’associativité;
  • la distributivité;
  • Les éléments neutres;
  • L’idempotente;
  • L’absorption;
  • etc.

Une fonction intéressante consiste à sauvegarder la saisie de votre équation logique pour ensuite la charger plus tard.

J’ai testé la version gratuite 1.8. Pour l’installer sur votre Smartphone ou sur votre tablette, vous avez besoin de la version Android 2.3 ou une version ultérieure.

L’application Android “Morgana Boolean Calculator X ” est gratuite et comme toute application de ce genre, vous recevrez de temps en temps de la publicité, mais elle ne gêne en rien son utilisation.

L’application est en langue anglaise, mais ne nécessite aucun niveau particulier. Un simple niveau en anglais de fin de collège ou de début du lycée permet non seulement d’utiliser l’application, mais aussi de comprendre aisément la partie méthodologie pour obtenir la simplification.

Exemples de simplification algébrique d’équation logique

Pour présenter les fonctionnalités de l’application “Morgana Boolean Calculator X”, je vais utiliser dans la suite de cet article deux exemples basiques .

Pour illustrer son utilisation, j’utiliserai les 2 exemples de la page 511 du chapitre n°42, intitulée “Systèmes automatisés logiques”, du Guide des sciences et technologies industrielles
de Jean-Louis Fanchon
Dans ces exemples on souhaite simplifier les expressions logiques en utilisant les règles de l’algèbre de Boole.

Exemple n°1

On souhaite simplifier l’équation logique suivante:equation logique 2

L’application est très simple à utiliser. On saisit son équation, puis on la sauvegarde. Pour terminer, il suffit de cliquer sur le bouton entrer pour avoir le résultat et la simplification étapes par étapes.

On obtient d’après l’auteur :

equation logique 1 simplifié

équation logique 1

équation logique 2 simplifié

L’application donne un résultat différent. La simplification n’est pas terminée. On peut encore utiliser les règles de distributivité et d’absorption d’un terme pour obtenir le même résultat.

 

Exemple n°2

On souhaite simplifier l’équation logique suivante:

équation logique 2

On obtient d’après l’auteur :

équation logique 2 simplifié

L’application donne le même résultat.

équation logique 2

equation logique 2 simplifié

Vous pouvez vérifier vos résultats en vous aidant en réalisant une table de vérité, que j’ai présentée dans un précédent article: “Comment vérifier la simplification d’une équation logique avec une table de vérité?

Bilan

L’application Android “Morgana Boolean Calculator X” est un bon outil gratuit pour simplifier algébriquement les expressions et les équations logiques sans faire d’erreur, mais parfois, dans certain cas, le résultat peut être encore simplifier.

 

Dopamine (6/8) – Snapchat

Snapchat est super fun et tu ne peux pas t’emêcher de checker les derniers filtres pour envoyer des snaps à tes amis. c’est normal, car l’appli est basée sur le DON, une interaction universelle, ayant un caractère obligatoire. Ainsi tu te sens toujours obligé(e) de répondre par un contre-don, envoyant des snaps à tes amis, même si tu n’as rien à dire.

Source : Dopamine (6/8) – Snapchat | ARTE

Show Buttons
Hide Buttons
Translate »