Présente la logique propositionnelle, les connexions logiques, les implications et les équivalences, avec des exemples et des faits sur la tautologie et la contradiction.
Couvre les concepts fondamentaux des systèmes logiques, y compris les circuits séquentiels et combinatoires, les diagrammes détat et les machines détat fini.
Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.
