Propositional Logic: Normal FormsExplores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.
Optimizing Logic FunctionsCovers the optimization of logic functions using Karnaugh diagrams and dealing with incomplete defined functions.
Model ReductionExplores model reduction techniques for satellite positioning systems and stochastic sensor calibration using the GMWM method.
Propositional ResolutionExplores completeness in propositional logic, resolution on clauses, conjunctive form, unit resolution, SAT solvers, and proof generation.
Fault Simulation in VLSI TestingExplores fault simulation in VLSI testing, covering fault coverage, fault models, algorithms, types of simulators, deductive simulation, and fault propagation rules.
