circuits integrats, la lògica dinàmica (o de vegades la lògica cronometrada) és una metodologia de disseny en circuits lògics combinacionals, particularment
El càlcul lògic o derivació lògica és un algorisme que permet còmoda i fàcilment inferir o deduir un enunciat veritable a partir d'un altre o altres que
informàtica, la lògica cablejada fa servir portes lògiques discretes (TTL, CMOS, HCMOS), per implementar circuits digitals de comunicacions. La lògica cablejada
familiars. L'àlgebra de la lògica, com a sistema algebraic explícit que mostra l'estructura matemàtica subjacent de la lògica, va ser introduïda per George