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

Concept

Logical disjunction

Related lectures (32)

Explores common multiplicand speedup through logical operations like bitwise AND and XOR to optimize the multiplication process.

Covers logical operations and constraints in discrete optimization modeling.

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

Delves into powers and roots, emphasizing irrational equations and the disjunction of cases.

Covers propositional logic, logical connectives, truth tables, and compound propositions.

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Introduces the basics of conditional statements in C++, including boolean operators and logical evaluation.

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

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Covers translating natural language to propositional logic and proving tautologies.

Introduces formal verification methodology and Presburger arithmetic for program verification and automated reasoning.

Covers the role of pins as input and output, GPIO, and operations on bit fields.

Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.

Covers the calculation of propositions in predicate logic with a focus on logical connectives.

Analyzes quiz answers on predicate logic, covering quantifiers, implications, and negations.

Explores existential quantifiers, truth values, and composite statements in predicate logic.

Covers the basics of propositional logic, its history, language, and computing applications.

Covers the Archimedean property and the proposition for all x in a set, there exists a positive real number n such that n*x is greater than y.

Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.

Covers the basics of conditional statements in MATLAB and Octave.