La logique est une branche très riche et complexe des mathématiques. Ce cours n'étant qu'une première initiation, il est nécessaire de consulter les ressources d'un niveau plus avancé pour plus de détails sur le formalisme et la philosophie de la logique.
La logique, en particulier les opérateurs de logique binaire, a des applications pratiques très importantes en électronique numérique. L'analogue de la logique mathématique en sciences de l'ingénieur s’appelle l'algèbre de Boole, et permet de développer des outils spécifiquement dédiés à l'optimisation de circuits électroniques.