Está en la página 1de 20

Universidad Nacional José Faustino Sánchez

Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”

UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SÁNCHEZ


CARRIÓN

FACULTAD DE INGENIERÍA INDUSTRIAL, SISTEMAS E


INFORMÁTICA
ESCUELA ACADÉMICA PROFESIONAL DE INGENIERÍA
INDUSTRIAL

Actividad Nº 06 - 7 GRUPO Nº 01

TEMAS: COMPUERTAS LÓGICAS, SIMPLIFICACIÓN


CURSO: LÓGICA MATEMÁTICA
DOCENTE: PESANTES ROJAS, Carlos Roberto

INTEGRANTES
ROMERO CANALES, JESUS ALBERTO
DURAND HUANCHACO, BRYAN ALDAIR
MELENDEZ DAVILA, LUIS ALBERTO
MEDRANO TORRES, LEONARDO ALONSO
MOYA PACHECO, FREDDY WILLY

HUACHO - PERÚ 2021

1
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
1. Simplificar los siguientes sistemas proposicionales y diseñar un circuito
equivalente:
 

a) [(𝒑 ↔ 𝒒)⋀(𝒓 𝐯 𝒒)⋀~𝒓] → ~𝒒   

SOLUCIÓN: 
[(𝑝 ↔ 𝑞) ⋀ (𝑟 v 𝑞) ⋀~𝑟] → ~𝑞

~[((𝑝 ⋀ 𝑞) v (~𝑝 ⋀~𝑞)) ] ⋀ (𝑟 v 𝑞) ⋀~𝑟] v ~𝑞

[((~𝑝 v  ~𝑞) ⋀  (𝑝 v 𝑞))  v  (~𝑟 ⋀  ~𝑞) v 𝑟]  v ~𝑞

 
b) ~{[(~𝐩→𝐪)∧𝐫]∧[(𝐩↔~𝐪)↓(~𝐩↓𝐪)]}
 
SOLUCIÓN: 
 
~{[(~𝑝 → 𝑞) ∧ 𝑟] ∧ [(𝑝 ↔ ~𝑞) ↓ (~𝑝 ↓ 𝑞)]}
~{[(𝑝 ∨ 𝑞) ∧ 𝑟] ∧ [(𝑝 ∧ ~𝑞) ∨ (~𝑝 ∧ 𝑞) ↓ (𝑝 ∧ ~𝑞)]}
~{[(𝑝 ∨ 𝑞) ∧ 𝑟] ∧ [~(𝑝 ∧ ~𝑞) ∧ ~(~𝑝 ∧ 𝑞) ∧ ~(𝑝 ∧ ~𝑞)]}
[(~𝑝 ∧ ~𝑞) ∨ ~𝑟] ∨ {[(𝑝 ∧ ~𝑞) ∨ (~𝑝 ∧ 𝑞)] ∨ (𝑝 ∧ ~𝑞)}
[(~𝑝 ∧ ~𝑞) ∨ ~𝑟] ∨ {[(𝑝 ∧ ~𝑞) ∨ (𝑝 ∧ ~𝑞)] ∨ (~𝑝 ∧ 𝑞)}
[(~𝑝 ∧ ~𝑞) ∨ ~𝑟] ∨ [(𝑝 ∧ ~𝑞) ∨ (~𝑝 ∧ 𝑞)]
[(~𝑝 ∧ ~𝑞) ∨ ~𝑟] ∨ [(~𝑝 ∨ ~𝑞) ∧ (𝑝 ∨ 𝑞)]
{(~𝑝 ∧ ~𝑞) ∨ [(~𝑝 ∨ ~𝑞) ∧ (𝑝 ∨ 𝑞)]} ∨ ~𝑟

[(~𝑝 ∧ ~𝑞) ∨ (~𝑝 ∨ ~𝑞)] ∨ ~𝑟


{~𝑝 ∨ [(~𝑝 ∧ ~𝑞) ∨ ~𝑞]} ∨ ~𝑟

2
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
{~𝑝 ∨ [(~𝑝 ∧ ~𝑞) ∨ ~𝑞]} ∨ ~𝑟
(~𝒑 ∨ ~𝒒) ∨ ~𝒓 

DISEÑO DEL CIRCUITO EQUIVALENTE:


 
 
 

c) ~{(~𝑝⟶𝑟)∧[(𝑝→∼𝑟)↓(∼𝑝↓𝑞)]}∨𝑟
 
SOLUCIÓN: 
~{(~𝑝⟶𝑟)∧[(𝑝→∼𝑟)↓(∼𝑝↓𝑞)]}∨𝑟

~ { ( 𝑝 ∨ 𝑟 ) ∧ [ ( ∼ 𝑝 ∨  𝑟 ) ↓ ( ∼ 𝑝 ↓ 𝑞 ) ] } ∨ 𝑟

~ { ( 𝑝 ∨ 𝑟 ) ∧ [ ( ∼ 𝑝 ∨  𝑟 ) ↓ ( 𝑝 ∧ ~ 𝑞 ) ] } ∨ 𝑟

~ { ( 𝑝 ∨ 𝑟 ) ∧ [ ∼ ( ∼ 𝑝 ∨  𝑟 ) ∧ ∼ ( 𝑝 ∧ ~ 𝑞 ) ] } ∨ 𝑟

~ { ( 𝑝 ∨ 𝑟 ) ∧ [ ∼ ( ∼ 𝑝 ∨  𝑟 ) ∧ ∼ ( 𝑝 ∧ ~ 𝑞 ) ] } ∨ 𝑟

~{(𝑝∨𝑟)∧[(𝑝∧∼𝑟)∧(∼𝑝∨𝑞)]}∨𝑟

~ { ( 𝑝 ∨ 𝑟 ) ∧ (𝑝 ∧ 𝑞 ∧ ~ 𝑟) } ∨ 𝑟

(~𝒑∨~𝒒∨𝒓)∨𝒓

~𝒑∨~𝒒∨𝒓
 
 
 

DISEÑO DEL CIRCUITO EQUIVALENTE:

3
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
 

2. Simplificar los siguientes circuitos lógicos:


a)

( ∼ p ∧r ∧∼ q ) ∨ [ q ∧∼ r ∧ ( ∼r ∨∼ q ) ] ∨ [ ( p ∨∼r ) ∧ ( p ∨q ) ∧r ] ∨ {( ∼ q ∨∼ r ) ∧ [ ( ∼q ∧∼ r ) ∨ (∼ p ∧∼ q ) ] }
Simplificamos por partes:
a ¿ q ∧ ∼ r ∧ ( ∼r ∨ ∼ q )
∼ r ∧q ∧ ∼r
∼ r ∧q
b ¿ ( p ∨∼ r ) ∧ ( p∨ q ) ∧r
[ ( p ∨∼r ) ∧r ] ∧ ( p ∨ q )
p ∧r ∧ ( p ∨q )
r ∧ [ p ∧ ( p ∨q ) ]
p ∧r
c ¿ ( ∼q ∨∼r ) ∧ [ ( ∼ q ∧∼r ) ∨ ( ∼ p ∧∼ q ) ]
( ∼ q ∨∼ r ) ∧[∼ q ∧ ( ∼ r ∨∼ p ) ]
[ ∼ q ∧ (∼ q ∨∼r ) ] ∧ ( ∼r ∨ ∼ p )
∼ q ∧ (∼ r ∨∼ p )
Uniendo las partes simplificadas:
( ∼ p ∧r ∧∼ q ) ∨ ( ∼ r ∧ q ) ∨ ( p∧ r ) ∨[∼ q ∧ ( ∼r ∨∼ p ) ]

4
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
{ ∼ q ∧ [ ( ∼ p ∧ r ) ∨ ( ∼r ∨ ∼ p ) ] }∨ ( ∼ r ∧ q ) ∨ ( p ∧r )

{∼ q ∧ [ ( ∼ p ∧ r ) ∨ ∼ p ∨∼ r ] }∨ ( ∼ r ∧ q ) ∨ ( p ∧r )
[ ∼ q ∧ (∼ p ∨∼ r ) ] ∨ ( ∼r ∧q ) ∨ ( p ∧ r )
(∼ q ∧ ∼ p) ∨(∼ q ∧∼ r )∨ (∼ r ∧ q ) ∨ ( p ∧r )
[ ∼ r ∧ ( ∼q ∨ q ) ] ∨(∼ q ∧∼ p) ∨ ( p ∧r )

∼ r ∨( ∼q ∧∼ p)∨ ( p ∧r )
[∼ r ∨ ( p ∧ r ) ]∨(∼q ∧ ∼ p)
∼ r ∨ p ∨(∼ q ∧∼ p)
∼ r ∨ p ∨∼q

b)

{ {∼ p∧ [ ( p ∧∼ q ) ∨ ( ∼ p∨ q ) ]} ∨ {[ ( r ∧s ∧t ) ∨ ( r ∨ s ∨t ) ] ∧ [ ( r ∨ s ∨ t ) ∨ ( r ∧ s ∧t ) ] }} ∧ ∼ p
Simplificamos por partes:
a ¿ ∼ p ∧ [ ( p ∧ ∼ q ) ∨ ( ∼ p ∨q ) ]
[ ∼ p ∧ ( p ∧ ∼q ) ] ∨ [ ∼ p ∧ ( ∼ p ∨ q ) ]
F ∧∼ q ∨∼ p

∼p

5
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
b ¿ [ ( r ∧ s ∧t ) ∨ ( r ∨ s ∨ t ) ] ∧ [ ( r ∨ s ∨t ) ∨ ( r ∧ s ∧ t ) ] ≡ ( p ∨q ) ∧ ( q ∨ p ) ≡ p∨ p ≡ p
p ≡ ( p ∨q ) ≡ ( r ∧ s ∧ t ) ∨ ( r ∨ s ∨t )
Uniendo las partes simplificadas:
{∼ p ∨ [ ( r ∧ s ∧t ) ∨ ( r ∨ s ∨ t ) ]} ∧∼ p ≡(∼ p∨ q) ∧∼ p≡ ∼ p
∼p

c)

{[ ( p ∨q ) ∧ ( ∼ p ∨∼ q ) ] ∨ [ ( p ∧ q ) ∨ ( ∼ p ∧∼ q ) ] }∧ {[ p ∧ ( p∨ q ) ∧r ∧ ( p ∨r ) ] ∨ [ ( p ∨r ) ∧ ( ∼ p ∨r ) ] }
Simplificamos por partes:
¿ [ ( p∨ q ) ∧ ( ∼ p ∨∼q ) ] ∨ [ ( p ∧q ) ∨ ( ∼ p ∧ ∼ q ) ]
[ ( p ∨q ) ∧∼ ( p ∧q ) ] ∨ [ ( p ∧ q ) ∨∼ ( p∨ q ) ] ≡ ( p ∧∼q ) ∨ ( q ∨∼ p )
[ ( p ∧∼q ) ∨∼ p ] ∨q
( ∼ p ∨∼ q ) ∨ q
∼ p ∨ ( ∼ q ∨ q)
∼ p ∨V
V
¿ [ p∧ ( p ∨ q ) ∧r ∧ ( p ∨r ) ] ∨ [ ( p ∨r ) ∧ ( ∼ p∨ r ) ]
( p ∧r )∨ [ ( p ∨ r ) ∧ (∼ p ∨r ) ]
( p ∧r ) ∨ [ r ∨ ( p ∧∼ p ) ]
( p ∧r ) ∨(r ∨ F )
( p ∧r ) ∨r

r
Uniendo las partes simplificadas:
V ∧r
r
6
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”

3. Hallar la proposición “x” más simple de manera que el circuito lógico

Sea equivalente al circuito

{ [ [
( p ∧q) ∨ p ∧ ( p ∧ q ) ∨ p ∧ [( p ∧q)∨ [ p ∧ [ ( p ∧ q)∨ x ] ] ] ] ]}
Si establecemos x= p . Aplicamos absorción e idempotencia

{ [ [
( p ∧q) ∨ p ∧ ( p ∧ q ) ∨ p ∧ [( p ∧q) ∨ [ p ∧ [ ( p ∧ q)∨ p ] ] ] ]] }
{ [
( p ∧q) ∨ p ∧ ( p ∧ q ) ∨ [ p ∧ [( p ∧ q)∨ [ p ∧ [ p ] ] ] ] ]}
{
( p ∧q) ∨ p∧ [ ( p ∧q ) ∨ [ p ∧ [ ( p∧ q)∨ [ p ] ] ] ] }
( p ∧q) ∨ { p ∧ [ ( p ∧ q ) ∨ [ p ∧ [ p ] ] ] }

( p ∧q) ∨ { p ∧ [ ( p ∧q ) ∨ [ p ] ]}

( p ∧q) ∨ { p ∧ [ p ] }

( p ∧q ) ∨ { p }
p

Se da que es circuito es equivalente a

Por lo tanto la proposición de x= p

4. Hallar la proposición “x” de manera que sea una tautología el circuito simplificado
siguiente:

7
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”

Si establecemos que Q es la parte superior del circuito

Q= {( p ∧ q)∨( p ∧ q) } ∧ { p ∨ [ q ∧ ( p ∨ x ) ] } ∧( q)

Y que R es la parte inferior del circuito

R=[ ( p ∧q) ∨( p ∨ q) ] ∨ [ { r ∨( p ∧ r ) } ∧ x ]

Y P es todo el circuito entonces:

P=Q ∨ R

En Q para hacer la conjunción entre los corchete damos que x= p

Q= {( p ∧q)∨ ( p ∨ q) } ∧ {( p ∨q ) } ∧( q)

Q= {( p ∧q)∧(p ∨ q) } ∧( q )

Q= {( p ∧q) } ∧( q)

Q= p ∧(q ∧ q)
Q= p ∧ F=F
Entonces en P

P=Q ∨ R ⟶ P=F V R=R

P= [ ( p∧ q) ∨( p ∨ q ) ] ∨ [ { r ∨( p ∧ r ) } ∧ x ]

P= [ ( p∧ q) ] ∨ [ (r ∨ p)∧ x ]

Teniendo x= p

P= [ ( p∧ q) ] ∨ [ (r ∨ p)∧ p ]

P=( p ∧ q)∨( p)
P=( p ∧ p) ∨( q)
P= (V ) ∨ p=V
Se da una tautología y por lo tanto x= p

8
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
5. Diseñe la compuerta lógica más simple que representa las siguientes
expresiones:

´
a) ( Á+C ) x(B+ D)

´ + Á B Ć+ Á B Ć+ AB Ć
b) ABC

9
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
c) A B́C x ( Á+C ) x B + Á B

d) A B́+B Ć + Á B́ Ć+ Á B́ C+ ABC

10
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
6. Escribir la Tabla de Verdad y la Expresión Lógica de las siguientes
compuertas lógicas:

Expresión Lógica:

[ Á( Á+ B)] [ AB+ Á+ B ]


Tabla de verdad:

A B Salida

0 0 1

0 1 1

1 0 0

1 1 0

Expresión Lógica:

( Á D ) + ( B Ć D ) + ( B́CD ) + ( Á B́ C )
Tabla de verdad:

A B C D Salida
0 0 0 0 0

11
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
0 0 0 1 1
0 0 1 0 1
0 0 1 1 1
0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
0 1 1 1 1
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 0

12
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”

Expresión Lógica:
´ ´
D́ Ć ( ´BC ) + [ ( C +´ A ) ( B́ ) ]
[ ]
Tabla de verdad:

D C B A Salida
0 0 0 0 0
0 0 0 1 1
0 0 1 0 1
0 0 1 1 1
0 1 0 0 1
0 1 0 1 1
0 1 1 0 1
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1
1 0 1 0 1
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 1

13
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”

Expresión Lógica:
´
[ ( Á ⊕´ B´ ) ( BC´ ) ⊕ D ]
Tabla de verdad:

A B C D Salida
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 1
0 1 0 0 1
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 0
1 0 1 0 1
1 0 1 1 0
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1

7. Realizar el diagrama y la tabla de verdad de las siguientes expresiones


lógicas:

a ¿ ABD+ BD +CD+ AC
A B C D ABD BD CD AC F
0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0
0 0 1 0 0 0 0 0 0
0 0 1 1 0 0 1 0 1
0 1 0 0 0 0 0 0 0
0 1 0 1 0 1 0 0 1

14
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
0 1 1 0 0 0 0 0 0
0 1 1 1 0 1 1 0 1
1 0 0 0 0 0 0 0 0
1 0 0 1 0 0 0 0 0
1 0 1 0 0 0 0 1 1
1 0 1 1 0 0 1 1 1
1 1 0 0 0 0 0 0 0
1 1 0 1 1 1 0 0 1
1 1 1 0 0 0 0 1 1
1 1 1 1 1 1 1 1 1

A B C D

b ¿ AB+ BC + ABC + AC

A B C AB BC ABC AC F
0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0
0 1 0 0 0 0 0 0
0 1 1 0 1 0 0 1
1 0 0 0 0 0 0 0
1 0 1 0 0 0 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1

A B C

15
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”

c ¿ AB+ DC + AC + ABD+ BCD


A B C D AB DC AC ABD BCD F
0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0
0 0 1 0 0 0 0 0 0 0
0 0 1 1 0 1 0 0 0 1
0 1 0 0 0 0 0 0 0 0
0 1 0 1 0 0 0 0 0 0
0 1 1 0 0 0 0 0 0 0
0 1 1 1 0 1 0 0 1 1
1 0 0 0 0 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0
1 0 1 0 0 0 1 0 0 0
1 0 1 1 0 1 1 0 0 1
1 1 0 0 1 0 0 0 0 1
1 1 0 1 1 0 0 1 0 1
1 1 1 0 1 0 1 0 0 1
1 1 1 1 1 1 1 1 1 1

A B C D

16
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”

8. Se da los siguientes casos:

a) Un contador R para el accionamiento de un motor eléctrico, está gobernado


por la acción combinada de tres finales de carrera A, B y C. para que el motor pueda
funcionar, dichos finales de carrera deben reunir las siguientes condiciones:
 A accionado, B y C en reposo.
 B y C accionado, A en reposo.
 C accionado, A y B en reposo.
 A y C accionado, B en reposo.

A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 0
Función lógica:
F (A , B , C)= A ' B ' C+ A ' BC + AB ' C '+ AB ' C
¿ A ' C(B '+ B)+ AB' (C ' +C )
¿ AB'+ A ' C

17
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”

b) Un circuito con tres entradas (a, b y c) y una salida S: Este circuito responde
con un 1 lógico a la salida cuando las entradas a y c sean “1” ó cuando b y c tomen el
valor de “0”.

A B C S
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
Función lógica:
F (A . B .C )= A ' B' C '+ AB' C ' + AB ' C + ABC
¿ B' C '( A ' + A)+ AB ' C+ ABC
¿ B' C '+ AC ( B ' + B)
¿ B' C '+ AC

c) Un detector de error de una señal de un semáforo de circulación de tres


lámparas. Considerando error cuando se produce alguno de los siguientes casos:
 Las tres lámparas encendidas o apagadas.
 Las lámparas rojas y verdes encendidas.
 Las lámparas rojas y amarillas encendidas.

R V A F
0 0 0 1
0 0 1 0
18
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
Función lógica:
F (R ,V , A)=R ' V ' A ' + RV ' A+ RVA ' + RVA
¿ R ' V ' A ' + RV ' A+ RV ( A ' + A)
¿ R ' V ' A ' + RV ' A+ RV
¿ R ' V ' A ' + R(V ' A +V )
¿ R ' V ' A ' + R( A+V )
¿ R ' V ' A ' + RA+ RV

d) De los datos de la tabla:

a b c F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0

En los cuatro casos se pide realizar lo siguiente:

19
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
c) Que construya la tabla de verdad.

ci) Que obtenga la función.

cii) Diseñe el diagrama de la compuerta lógica

ciii) Que simplifique haciendo uso de las leyes.

Función lógica:
F (A , B , C)= A ' . B' .C + A . B ' .C '+ A . B ' . C+ A . B .C '
¿ A ' . B ' . C+ A . B' .(C ' +C )+ A . B .C '
¿ A ' . B ' . C+ A . B' + A . B . C '

¿ A' . B' . C+ A . ( B' + B. C ' )


¿ A ' . B ' . C+ A .(B ' +C )
¿ A ' . B ' . C ' + A . B' + A .C '
¿ B' .(A ' .C + A)+ A .C '
¿ B' .(C+ A)+ A . C

¿ B' . C+ B' . A+ A . C '


¿ B' .C + A .C '

20

También podría gustarte