Category
Boolean logic
Related lectures (72)
Python Programming Basics
Introduces Python programming basics, covering variables, methods, conditions, loops, and boolean logic.
Privacy Preserving Crypto I: Secure Multi-Party Computation
Explores Secure Multi-Party Computation, cryptographic techniques, threat models, additive secret shares, and real-world applications of privacy-preserving protocols.
Operators and Expressions: Programming in C
Explains operators and expressions in C, focusing on arithmetic, comparison, and logical operations.
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.
Boolean Optimization: MIGs and Majority Gates
Explores Boolean function optimization using Majority-Inverter Graphs and Majority Gates, including algebraic rules and exact synthesis.
Theory of Computation: Problems Definition and Counting (Denumerability)
Explores the theory of computation, emphasizing problems definition, counting, and the limits of algorithmic computation.
Fault Simulation in VLSI Testing
Explores fault simulation in VLSI testing, covering fault coverage, fault models, algorithms, types of simulators, deductive simulation, and fault propagation rules.
Propositional Resolution and SAT Solvers
Covers the transformation of formulas into conjunctive normal form and the efficiency of algorithms for checking satisfiability.
Conditional Statements: C++ Basics
Introduces the basics of conditional statements in C++, including boolean operators and logical evaluation.