INF 2410 “A”-ESTRUCTURA DE COMPUTADORES I Univ.

Wendaly Choque Flores

FUNCIONES LOGICAS
REPRESENTACION EN FORMA DE TABLA

𝑝̅ = 0 𝑝=0
𝑝=1 𝑝̅ = 1
Equivalente Literales Funcion Producto Suma
Decimal A B C f Canonico(PC) Canonica(SC)
P 0 0 0 0 1 𝐴̅ ∗ 𝐵̅ ∗ 𝐶̅
O 1 0 0 1 1 𝐴̅ ∗ 𝐵̅ ∗ 𝐶
S 2 0 1 0 0 𝐴 + 𝐵̅ + 𝐶
I 3 0 1 1 1 𝐴̅ ∗ 𝐵 ∗ 𝐶
C 4 1 0 0 0 𝐴̅ + 𝐵 + 𝐶
I 5 1 0 1 0 𝐴̅ + 𝐵 + 𝐶̅
O 6 1 1 0 1 𝐴 ∗ 𝐵 ∗ 𝐶̅
N 7 1 1 1 1 𝐴∗𝐵∗𝐶
𝑆𝑖 𝑓 = 𝟏 𝑅𝑒𝑝𝑟𝑒𝑠𝑒𝑛𝑡𝑎 𝑒𝑛 𝑃𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝐶𝑎𝑛𝑜𝑛𝑖𝑐𝑜
𝑆𝑖 𝑓 = 𝟎 𝑅𝑒𝑝𝑟𝑒𝑠𝑒𝑛𝑡𝑎 𝑒𝑛 𝑆𝑢𝑚𝑎 𝐶𝑎𝑛𝑜𝑛𝑖𝑐𝑎
Utilizando la tabla anterior Representar en:

SPC: Suma de productos canónicos

𝐴𝑠𝑜𝑐𝑖𝑎𝑟 𝑐𝑜𝑛 𝑠𝑢𝑚𝑎𝑠(+)
𝑓 (𝐴, 𝐵, 𝐶 ) = (𝐴̅ ∗ 𝐵̅ ∗ 𝐶̅ ) + (𝐴̅ ∗ 𝐵̅ ∗ 𝐶) + (𝐴̅ ∗ 𝐵 ∗ 𝐶) + (𝐴 ∗ 𝐵 ∗ 𝐶̅ ) + (𝐴 ∗ 𝐵 ∗ 𝐶)
Equivalente
Decimal 0 1 3 6 7
NOTACION ∑ (Sumatoria)
Utilizar los Equivalentes Decimales de cada producto canónico (SPC) en orden.

𝑓(𝐴, 𝐵, 𝐶 ) = ∑(0,1,3,6,7)
3

PSC: Producto de sumas canónicas

𝐴𝑠𝑜𝑐𝑖𝑎𝑟 𝑒𝑛 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜(∗)
̅ + 𝐶) ∗ ( 𝐴
𝑓(𝐴, 𝐵, 𝐶) = (𝐴 + 𝐵 ̅ + 𝐵 + 𝐶) ∗ ( 𝐴
̅+𝐵+𝐶
̅)
Equivalente
Decimal
2 4 5
 INF 2410 “A”-ESTRUCTURA DE COMPUTADORES I Univ. Wendaly Choque Flores

NOTACION ∏ (Productoria)
Utilizar los Equivalentes Decimales de cada suma canónica (PSC) en orden.

𝑓(𝐴, 𝐵, 𝐶 ) = ∏(2,4,5)
3

TERMINO INFIFERENTE
REPRESENTACION EN FORMA DE TABLA
Equivalente Literales Funcion Producto
Suma Canonica
Decimal A B C D f Canonico
0 0 0 0 0 0 𝐴+𝐵+𝐶+𝐷
1 0 0 0 1 1 𝐴̅ ∗ 𝐵̅ ∗ 𝐶̅ ∗ 𝐷
Termino
2 0 0 1 0 x Indiferente
3 0 0 1 1 1 𝐴̅ ∗ 𝐵̅ ∗ 𝐶 ∗ 𝐷
4 0 1 0 0 1 𝐴̅ ∗ 𝐵 ∗ 𝐶̅ ∗ 𝐷
̅
5 0 1 0 1 0 𝐴 + 𝐵̅ + 𝐶 + 𝐷̅
6 0 1 1 0 0 𝐴 + 𝐵̅ + 𝐶̅ + 𝐷
7 0 1 1 1 0 𝐴 + 𝐵̅ + 𝐶̅ + 𝐷
̅
Termino
8 1 0 0 0 x Indiferente
9 1 0 0 1 0 𝐴̅ + 𝐵 + 𝐶 + 𝐷
̅
10 1 0 1 0 1 𝐴 ∗ 𝐵̅ ∗ 𝐶 ∗ 𝐷
̅
11 1 0 1 1 1 𝐴 ∗ 𝐵̅ ∗ 𝐶 ∗ 𝐷
Termino
12 1 1 0 0 x Indiferente
13 1 1 0 1 0 𝐴̅ + 𝐵̅ + 𝐶 + 𝐷
̅
14 1 1 1 0 1 ̅
𝐴∗𝐵∗𝐶∗𝐷
Termino
15 1 1 1 1 x Indiferente

Si f=x -> es un término indiferente, es decir no importa su valor ya que puede ser
“0“ o “1“, se representa únicamente en la notación ∑ y ∏ con el símbolo ∆.
INF 2410 “A”-ESTRUCTURA DE COMPUTADORES I Univ. Wendaly Choque Flores

1. SPC: Suma de productos canónicos

𝐴𝑠𝑜𝑐𝑖𝑎𝑟 𝑐𝑜𝑛 𝑠𝑢𝑚𝑎𝑠(+)
𝑓 (𝐴, 𝐵, 𝐶, 𝐷 ) = (𝐴̅ ∗ 𝐵̅ ∗ 𝐶̅ ∗ 𝐷 ) + (𝐴̅ ∗ 𝐵̅ ∗ 𝐶 ∗ 𝐷 ) + (𝐴̅ ∗ 𝐵 ∗ 𝐶̅ ∗ 𝐷
̅ ) + (𝐴 ∗ 𝐵̅ ∗ 𝐶 ∗ 𝐷
̅)
̅
+ (𝐴 ∗ 𝐵 ∗ 𝐶 ∗ 𝐷 ) + (𝐴 ∗ 𝐵 ∗ 𝐶 ∗ 𝐷 ) ̅

2. NOTACION ∑ (Sumatoria)

𝑓(𝐴, 𝐵, 𝐶, 𝐷) = ∑(1,3,4,10,11,14) + Δ(2,8,12,15)

4

3. PSC: Producto de sumas canónicas

𝐴𝑠𝑜𝑐𝑖𝑎𝑟 𝑒𝑛 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜(∗)
𝑓 (𝐴, 𝐵, 𝐶, 𝐷 ) = (𝐴 + 𝐵 + 𝐶 + 𝐷 ) ∗ (𝐴 + 𝐵̅ + 𝐶 + 𝐷 ̅ ) ∗ (𝐴 + 𝐵̅ + 𝐶̅ + 𝐷 )
∗ (𝐴 + 𝐵̅ + 𝐶̅ + 𝐷
̅ ) ∗ (𝐴̅ + 𝐵 + 𝐶 + 𝐷
̅ ) ∗ (𝐴̅ + 𝐵̅ + 𝐶 + 𝐷
̅)

4. NOTACION ∏ (Productoria)

𝑓 (𝐴, 𝐵, 𝐶, 𝐷) = ∏(0,5,6,7,9,13) ∗ Δ(2,8,12,15)

4

VERIFICAR SI SON TERMINOS CANONICOS: Cada

termino debe contener a todas las variables que especifica la función, si no aplicar
axiomas o teoremas.
Ejercicio 1 Dada la siguiente función 𝑓 (𝐴, 𝐵, 𝐶 ) = 𝐴 ∗ 𝐵̅ + 𝐴̅ ∗ 𝐶 + 𝐴 ∗ 𝐵 ∗ 𝐶
obtener la representación SPC (Suma de productos Canónicos)

𝐴 ∗ 𝐵̅ + 𝐴̅ ∗ 𝐶 + 𝐴 ∗ 𝐵 ∗ 𝐶
Falta”C” Falta”B”

𝐴 ∗ 𝐵̅ ∗ 1 + 𝐴̅ ∗ 𝐶 ∗ 1 + 𝐴 ∗ 𝐵 ∗ 𝐶 2b) Existencia del Neutro

𝐴 ∗ 𝐵̅(𝐶 + 𝐶̅ ) + 𝐴̅ ∗ 𝐶(𝐵 + 𝐵̅ ) + 𝐴 ∗ 𝐵 ∗ 𝐶 5a) Existencia del Inverso

𝐴 ∗ 𝐵̅ ∗ 𝐶 + 𝐴 ∗ 𝐵̅ ∗ 𝐶̅ + 𝐴̅ ∗ 𝐶 ∗ 𝐵 + 𝐴̅ ∗ 𝐶 ∗ 𝐵̅ + 𝐴 ∗ 𝐵 ∗ 𝐶 4b) Distributividad

𝐴 ∗ 𝐵̅ ∗ 𝐶 + 𝐴 ∗ 𝐵̅ ∗ 𝐶̅ + 𝐴̅ ∗ 𝐵 ∗ 𝐶 + 𝐴̅ ∗ 𝐵̅ ∗ 𝐶 + 𝐴 ∗ 𝐵 ∗ 𝐶 3b) Conmutatividad
̅ ∗𝐶+𝐴∗𝐵
𝐴∗𝐵 ̅ +𝐴
̅ ∗𝐶 ̅ ∗𝐵∗𝐶+𝐴
̅ ∗𝐵
̅ ∗𝐶+𝐴∗𝐵∗𝐶
 INF 2410 “A”-ESTRUCTURA DE COMPUTADORES I Univ. Wendaly Choque Flores

𝑝̅ = 0
Llenar su tabla de verdad: Para SPC el valor de verdad será 1 y negación 0
𝑝=1
̅ 𝐶+𝐴 𝐵
𝐴 𝐵 ̅ +𝐴
̅ 𝐶 ̅ 𝐵 𝐶+𝐴
̅ 𝐵
̅ 𝐶+𝐴 𝐵 𝐶

1 0 1 1 0 0 0 1 1 0 0 1 1 1 1

Equivalente
Decimal 5 4 3 1 7
Buscar las posiciones y llenar la tabla:

Equivalente Literales Funcion Producto Suma

Decimal A B C f Canonico(PC) Canonica(SC)

0 0 0 0 0 𝐴+𝐵+𝐶
1 0 0 1 1 𝐴̅ ∗ 𝐵̅ ∗ 𝐶
2 0 1 0 0 𝐴 + 𝐵̅ + 𝐶
3 0 1 1 1 𝐴̅ ∗ 𝐵 ∗ 𝐶
4 1 0 0 1 𝐴̅ ∗ 𝐵 ∗ 𝐶
5 1 0 1 1 𝐴̅ ∗ 𝐵 ∗ 𝐶
6 1 1 0 0 𝐴̅ + 𝐵̅ + 𝐶
7 1 1 1 1 𝐴∗𝐵∗𝐶

SPC: Suma de productos canónicos

̅ ∗𝐵
𝑓 (𝐴, 𝐵, 𝐶 ) = (𝐴 ̅ ∗ 𝐵 ∗ 𝐶 ) + (𝐴
̅ ∗ 𝐶 ) + (𝐴 ̅ ∗ 𝐵 ∗ 𝐶 ) + (𝐴
̅ ∗ 𝐵 ∗ 𝐶 ) + (𝐴 ∗ 𝐵 ∗ 𝐶 )

NOTACION ∑

𝑓(𝐴, 𝐵, 𝐶 ) = ∑(1,3,4,5,7)
3