Concept
Exclusive or
Related lectures (35)
Logical Equivalences: Constructing and Proving Equivalences
Covers constructing and proving logical equivalences, including De Morgan's Laws and tautology proofs.
Proofs: Logical Equivalence and Inference Rules
Covers the concept of logical equivalence in proofs and inference rules.
Logical Equivalences: Constructing, Proving, and Applying
Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.
Predicate Logic: Introduction & Equivalences
Covers predicate logic basics, quantifiers, equivalences, and natural language translation examples.
Predicate Logic: Logical Equivalences and Quantifiers
Explores logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.
Predicate Logic: Logical Equivalences and Quantifiers
Covers logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.
Set Identities: Analogues and Proofs
Explores set identities as analogues of logical equivalences in propositional logic.
Logical Equivalences: De Morgan's Laws and Implications
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Digital Circuits: Logic Basics
Introduces digital circuits, covering binary systems, logic operators, Boolean algebra, memory elements, and practical examples like BCD decoders and shift registers.
Priority Encoders: Example and Operation
Explains the operation of priority encoders and provides examples of 8-input priority encoders.