Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.
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.