Home

Boolean logic

Formal sciences
Mathematics
Mathematical logic
Boolean logic

Related lectures (26)

About
Privacy
Disclaimer

Graph Chatbot

Page 2 of 3

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.