Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Complete Boolean algebra

Related lectures (26)

Boolean Algebra: Python Programming

Introduces Boolean algebra concepts and their application in Python programming.

Combinatorial Logic Circuits

Covers the basics of logical systems, Boolean algebra, logic gates, and coding in digital circuits.

Numbers and Booleans

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

Propositional Logic: Normal Forms and Applications

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.

Common Errors in Type Bool

Addresses common mistakes with the bool type in C++, explaining its use for conditions and providing examples of correct usage.

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.

Lambda Calculus: Church Numerals

Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.

Logical Structure: Choice and Bar Induction Principles

Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.

Boolean Type: Common Errors

Addresses common errors with the boolean type in Java and how to avoid them.

Objects Everywhere

Covers pure object orientation, standard classes in Scala, Boolean implementation, and exercises on class implementations.

Digital Logic: Circuits and Design

Introduces digital logic, covering Boolean algebra, logic gates, combinational circuits, flip-flops, and state machines.

Vector-Vector Interactions MOOC: Geographical Information Systems 2

Explores vector-vector interactions, SQL queries, QGIS functions, cutting operations, and boolean operations in geographic information analysis.

FSM Design and Synthesis Log in to Mediaspace to watch this video

Explains the design and synthesis of Finite State Machines in logic systems.

Boolean Algebra: Properties and Optimization Log in to Mediaspace to watch this video

Explores Boolean algebra properties and optimization techniques using Karnaugh diagrams and De Morgan's theorems.

Boolean Algebra: Properties and Optimization Log in to Mediaspace to watch this video

Covers Boolean algebra properties, optimization techniques, and the importance of valid groups in Karnaugh maps.

Boolean Algebra: Properties and Theorems Log in to Mediaspace to watch this video

Covers the properties and theorems of Boolean algebra in logic systems.

Boolean Hidden Matching Problem Log in to Mediaspace to watch this video

Explores the Boolean Hidden Matching Problem, focusing on distinguishing messages with negligible probability.

Logic Synthesis: Designing Efficient Digital Circuits Log in to Mediaspace to watch this video

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

Optimizing Logic Functions Log in to Mediaspace to watch this video

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

Logic Systems: Basics and Operators Log in to Mediaspace to watch this video

Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.