Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
Actividad Nº 06 - 7 GRUPO Nº 01
INTEGRANTES
ROMERO CANALES, JESUS ALBERTO
DURAND HUANCHACO, BRYAN ALDAIR
MELENDEZ DAVILA, LUIS ALBERTO
MEDRANO TORRES, LEONARDO ALONSO
MOYA PACHECO, FREDDY WILLY
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:
SOLUCIÓN:
[(𝑝 ↔ 𝑞) ⋀ (𝑟 v 𝑞) ⋀~𝑟] → ~𝑞
b) ~{[(~𝐩→𝐪)∧𝐫]∧[(𝐩↔~𝐪)↓(~𝐩↓𝐪)]}
SOLUCIÓN:
~{[(~𝑝 → 𝑞) ∧ 𝑟] ∧ [(𝑝 ↔ ~𝑞) ↓ (~𝑝 ↓ 𝑞)]}
~{[(𝑝 ∨ 𝑞) ∧ 𝑟] ∧ [(𝑝 ∧ ~𝑞) ∨ (~𝑝 ∧ 𝑞) ↓ (𝑝 ∧ ~𝑞)]}
~{[(𝑝 ∨ 𝑞) ∧ 𝑟] ∧ [~(𝑝 ∧ ~𝑞) ∧ ~(~𝑝 ∧ 𝑞) ∧ ~(𝑝 ∧ ~𝑞)]}
[(~𝑝 ∧ ~𝑞) ∨ ~𝑟] ∨ {[(𝑝 ∧ ~𝑞) ∨ (~𝑝 ∧ 𝑞)] ∨ (𝑝 ∧ ~𝑞)}
[(~𝑝 ∧ ~𝑞) ∨ ~𝑟] ∨ {[(𝑝 ∧ ~𝑞) ∨ (𝑝 ∧ ~𝑞)] ∨ (~𝑝 ∧ 𝑞)}
[(~𝑝 ∧ ~𝑞) ∨ ~𝑟] ∨ [(𝑝 ∧ ~𝑞) ∨ (~𝑝 ∧ 𝑞)]
[(~𝑝 ∧ ~𝑞) ∨ ~𝑟] ∨ [(~𝑝 ∨ ~𝑞) ∧ (𝑝 ∨ 𝑞)]
{(~𝑝 ∧ ~𝑞) ∨ [(~𝑝 ∨ ~𝑞) ∧ (𝑝 ∨ 𝑞)]} ∨ ~𝑟
2
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
{~𝑝 ∨ [(~𝑝 ∧ ~𝑞) ∨ ~𝑞]} ∨ ~𝑟
(~𝒑 ∨ ~𝒒) ∨ ~𝒓
c) ~{(~𝑝⟶𝑟)∧[(𝑝→∼𝑟)↓(∼𝑝↓𝑞)]}∨𝑟
SOLUCIÓN:
~{(~𝑝⟶𝑟)∧[(𝑝→∼𝑟)↓(∼𝑝↓𝑞)]}∨𝑟
~ { ( 𝑝 ∨ 𝑟 ) ∧ [ ( ∼ 𝑝 ∨ 𝑟 ) ↓ ( ∼ 𝑝 ↓ 𝑞 ) ] } ∨ 𝑟
~ { ( 𝑝 ∨ 𝑟 ) ∧ [ ( ∼ 𝑝 ∨ 𝑟 ) ↓ ( 𝑝 ∧ ~ 𝑞 ) ] } ∨ 𝑟
~ { ( 𝑝 ∨ 𝑟 ) ∧ [ ∼ ( ∼ 𝑝 ∨ 𝑟 ) ∧ ∼ ( 𝑝 ∧ ~ 𝑞 ) ] } ∨ 𝑟
~ { ( 𝑝 ∨ 𝑟 ) ∧ [ ∼ ( ∼ 𝑝 ∨ 𝑟 ) ∧ ∼ ( 𝑝 ∧ ~ 𝑞 ) ] } ∨ 𝑟
~{(𝑝∨𝑟)∧[(𝑝∧∼𝑟)∧(∼𝑝∨𝑞)]}∨𝑟
~ { ( 𝑝 ∨ 𝑟 ) ∧ (𝑝 ∧ 𝑞 ∧ ~ 𝑟) } ∨ 𝑟
(~𝒑∨~𝒒∨𝒓)∨𝒓
~𝒑∨~𝒒∨𝒓
3
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
( ∼ 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”
{ [ [
( 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
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”
Q= {( p ∧ q)∨( p ∧ q) } ∧ { p ∨ [ q ∧ ( p ∨ x ) ] } ∧( q)
R=[ ( p ∧q) ∨( p ∨ q) ] ∨ [ { r ∨( p ∧ r ) } ∧ x ]
P=Q ∨ R
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= [ ( 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
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:
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
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”
A B C D
16
Universidad Nacional José Faustino Sánchez
Carrión
Lógica Matemática- “Compuertas lógicas,
simplificación”
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
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
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
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.
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 '
20