Die Logik stellt Sprachen zur Darstellung von Wissen zur Verfügung. Sie erlaubt, nach festen Regeln, aus Wissen neues Wissen abzuleiten und ist Grundlage für viele Wissenschaften. Offen ist, wie weit die Logik ausreichend ist, um menschliches Denken abzubilden. Wir führen in Aussagen- und Prädikatenlogik ein. Im Zentrum der Anwendungen stehen die Boolesche Algebra, das Verständnis der Schaltkreise, deren Optiimierung und der Aufbau der Schaltungen für die Addition.