ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA MODULO DE LOGICA MATEMÁTICA Aplicando la doble negación se tiene:
(S’)’ = [(A B’ + A’B)’]’ = [(A B’)’ (A’B)’]’ S = [(A’ + B) (A + B’)]’ = {[(A’ + B)’ + (A + B’ ) ’ ] ’ } ‘ S = { [ (A’ + B)’ + (A + B’ ) ’ ] ’ } ’ Análogamente, la salida C = AB será: C = (C’)’ = [(AB)’]’ = (A’ + B’)’ Con lo cual el circuito lógico es:
A
B
S
C
Circuito lógico semisumador
179