Exclusive or

Related lectures (28)

Page 3 of 3

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

Introduces propositional logic, logical connectives, implications, and equivalences, with examples and facts about tautology and contradiction.

Covers the basics of propositional logic and explores logical equivalences and proof techniques.

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.

Explores the link between properties and variables, including contraries and propositions.

Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.

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