La logique est une branche des mathémathiques. Les phénomènes que nous allons étudier traduisent le fonctionnement de systèmes pouvant se caractériser par deux états stables du type, 'en marche' ou 'à l'arrêt', ou encore, 'allumé' ou 'éteint', etc. L'état du système et des variables qui le définissent est donc binaire. Il peut donc être parfaitement représenté par des équations de logique binaire.

La partie matérielle du système sera donc définie par l'état de variables binaires auxquelles pourront être appliquées toutes les lois de la logique binaire. Des schémas de fonctionnement, des tables de vérité, des chronogrammes logiques viendront donc compléter et enrichir l'analyse du système.

Dans cette partie nous allons donc passer en revue les principales lois de la logique binaire, et représenter les fonctions logiques de base.

Une proposition logique est toujours vraie ou fausse. Lorsqu'elle est vraie nous la caractériserons par la valeur 1, et lorsqu'elle est fausse par la valeur 0.

D'un point de vue électrique, en logique positive nous ferons correspondre au niveau de tension basse la valeur 0 et au niveau de tension haute la valeur 1. Ce sera le contraire en logique négative.