Le document est un recueil d'exercices sur les propriétés des variables et fonctions logiques, comprenant des tables de vérité, des simplifications, et des formes canoniques. Il aborde divers exercices pour établir, compléter, et simplifier des fonctions booléennes, ainsi que des démonstrations de relations logiques. Les exercices utilisent aussi des méthodes de diagrammes de Karnaugh pour simplifier les expressions algébriques et présentent des applications pratiques de logique numérique.