Algèbre de Boole : négations et évaluation paresseuse
Channel: Mathématiques de l'enseignement supérieur
Date: 2020-09-21

Cette vidéo explique comment rapidement calculer des négations (lois de De Morgan, etc.), et illustre le fonctionnement de l'évaluation paresseuse, permettant de rapidement conclure sur la valeur de vérité d'une proposition sans en calculer l'intégralité de la table de vérité.


0:00 Introduction
0:38 Négations
3:35 Lois de De Morgan
10:23 Négation d'implication, disjonction exclusive et équivalence
22:35 Évaluation paresseuse