Sistemes elèctrics i electrònics
Lògica combinacional i àlgebra de Boole
La lògica combinacional transforma necessitats en decisions binàries mitjançant taules de veritat, expressions booleanes i portes. Un disseny és fiable quan les variables estan ben definides i totes les combinacions confirmen la coherència entre funció, circuit i proves.