Home

Boolean logic

Formal sciences
Mathematics
Mathematical logic
Boolean logic

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (26)

Page 1 of 3

Graphical Models: Representing Probabilistic Distributions

Covers graphical models for probabilistic distributions using graphs, nodes, and edges.

Logic Synthesis: Designing Efficient Digital Circuits

Discusses logic synthesis techniques for designing efficient digital circuits using minterms, maxterms, and new gates like XOR and XNOR.

Boolean Types and Control Structures

Explores boolean types, logical operators, and control structures in Python, emphasizing the evaluation of expressions and the use of relational operators.

Logic Synthesis: Designing Efficient Digital Circuits

Discusses logic synthesis techniques for designing efficient digital circuits from functional descriptions and truth tables.

Numbers and Booleans

Introduces numbers and booleans in Python, covering numeric types, arithmetic operations, logical operations, and comparisons.

Presburger Arithmetic and Quantifier Elimination

Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.

Quantum Circuits: Classic Circuits

Explores classic circuits in quantum computing, including Boolean functions and reversible gates.

Finite Systems Expressed with Formulas

Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.

Optimizing Logic Functions

Covers the optimization of logic functions using Karnaugh diagrams and dealing with incomplete defined functions.

Deutsch and Josza Problem

Covers the Deutsch and Josza problem in quantum computation, focusing on boolean functions and oracles.