Sistemes elèctrics i electrònics
Simplificar i provar circuits digitals
La unitat presenta tres vies connectades: provar equivalències amb taules, transformar expressions amb lleis booleanes i simplificar visualment amb mapes de Karnaugh. Finalment, les implementacions es verifiquen en simulació i es comparen amb criteris comuns de cost i profunditat.