Concept

Zhegalkin polynomial

Related lectures (8)

Covers the synthesis of combinational circuits and the methodology for analyzing specifications.

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

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

Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.

Covers first-order logic, resolution proofs, Skolem functions, and satisfiability checking in mathematics and program verification.

Explores Karnaugh maps, TTL gates, analog aspects of digital logic, and prime implicants.

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

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