UNIVERSIDAD NACIONAL

“SANTIAGO ANTUNEZ DE MAYOLO”

FACULTAD CIENCIAS DEL AMBIENTE
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA AMBIENTAL

RESOLUCIÓN DE PROBLEMAS DEL LIBRO MATEMATICA BASICA

1 DEL AUTOR R. FIGUEROA. G
CURSO:
PENSAMIENTO LÓGICO MATEMÁTICO
DOCENTE:
Lic. MINAYA SALINAS Segundo Oscar
INTEGRANTES:
MORALES SUNI Mary Luz
ROSALES CACERES Yanet
SANDOVAL PIÑASHCA Carliño
VELASQUEZ MAGUIÑA Tany
VASQUEZ COCHACHIN Carlos

Huaraz- Ancash – Perú

2016
1
Contenido
EJERCICIOS: GRUPO 3 (PAGINA 33).........................................................................................................4
Problema 16....................................................................................................................................................4
Problema 17....................................................................................................................................................4
Problema 18....................................................................................................................................................5
Problema 19....................................................................................................................................................5
Problema 20....................................................................................................................................................6
EJERCICIOS: GRUPO 4 (PAGINA 41).........................................................................................................7
Problema 1......................................................................................................................................................7
Problema 2......................................................................................................................................................7
Problema 3......................................................................................................................................................7
Problema 4......................................................................................................................................................9
Problema 5....................................................................................................................................................10
Problema 6....................................................................................................................................................11
Problema 7....................................................................................................................................................12
Problema 8....................................................................................................................................................12
Problema 9....................................................................................................................................................13
Problema 10..................................................................................................................................................13
Problema 11..................................................................................................................................................14
Problema 12..................................................................................................................................................14
Problema 13..................................................................................................................................................15
Problema 14..................................................................................................................................................15
Problema 15..................................................................................................................................................16
Problema 16..................................................................................................................................................17
Problema 17..................................................................................................................................................17
Problema 18..................................................................................................................................................18
EJERCICIOS: GRUPO 5 (PAGINA 57).......................................................................................................20
Problema 1....................................................................................................................................................20
Problema 2....................................................................................................................................................23
Problema 3....................................................................................................................................................24
Problema 4....................................................................................................................................................26
Problema 5....................................................................................................................................................27
Problema 6....................................................................................................................................................28
1
Problema 7....................................................................................................................................................28
Problema 8....................................................................................................................................................29
Problema 9....................................................................................................................................................30
Problema 10..................................................................................................................................................31
Problema 11..................................................................................................................................................32
Problema 12..................................................................................................................................................33
Problema 13..................................................................................................................................................34
Problema 14..................................................................................................................................................35
Problema 15..................................................................................................................................................37
Problema 16..................................................................................................................................................37
Problema 17..................................................................................................................................................38

1
 EJERCICIOS: GRUPO 3 (PAGINA 33)
Problema 16.
Si Londres no está en Dinamarca, entonces parís no está en Francia. Por tanto, Londres está en
Dinamarca
Solución
p: Londres está en Dinamarca
q: París está en Francia

( ‫خخخخخخخخخخخخ‬
p‫خ‬ q) p
( p ‫�خ‬q ) p
�( p ��q ) �p
( �p �q ) �p
p �q

No es argumento valido
Problema 17.
Si me gustan las matemáticas, entonces estudiare. Estudio o pierdo el curso, en consecuencia, si
pierdo el curso, entonces no me gustan las matemáticas.
Solución
p: Me gustan las matemáticas
q: Estudio
r: Pierdo el curso

{ ( p ��‫��ڮ‬
q) ( q r)} {r p}
{ ( ���‫���ڮ‬
p q) ( q r)} { r p}
�{ ( �p �q ) �( q �r ) } �{ �r ��p}
�{ q �( r ��p ) } �{ ~ r �~ p}
{ �q �( �r �p ) } ��r ��p
{ ( �r ��q ) �( �r �( �r �p ) ) } ��p
{ ( ~ r�~ q ) �( ~ r �p ) } �~ p
{ �r �( �q �p ) } ��p
�r �( �q �p ) ��p
�r �( �q ��p )
1
No es argumento valido
Problema 18.
Luis es director de una empresa si tiene el mayor número de acciones; y si tiene el mayor
número de acciones, o es un economista o tiene mucho dinero. Ocurre que Luis tiene el mayor
número de acciones. En consecuencia, o es economista o tiene mucho dinero
Solución
p: Luis es el director de una empresa
q: Luis tiene el mayor número de acciones
r: Luis es economista
s: Luis tiene mucho dinero

{{ �� ( q D p ) �� q� ( r s ) } q}
�D‫�ٮ‬ ( r s)
{{ �� ( D q p ) �� ( r s ) } q}
�D‫��ٮ‬
q� ( r s)
{ { [ p ������‫ٮ����خ‬
q] ( ( r s) ( s r ) )} q} ((r s) (s r) )

{ { ������‫�������خ‬
[ p q ] ( r s ) ( s r ) } q} ( ( r s) (s r) )

{ { ������‫��������خ‬
p q (r s) ( s r)} q} ((r s) (s r) )

{ �����‫����������ڮ‬
{ p q ( r s ) ( s r ) } q} ( ( r s) (s r) )
�p ��q �( r ��s ) �( s ��r ) �q �( r ��s ) �( s ��r )
�p ��q �( r ��s ) �( s ��r ) �q ��( s ��r )
V
Es argumento valido
Problema 19.
Estudiar si es válida o no la siguiente proposición compuesta: “Si en la luna no hay oxígeno,
entonces no hay agua ni aire. Si no hay oxigeno ni hay agua, entonces no hay plantas. No es el
caso que en la luna haya oxigeno o no haya plantas. En consecuencia, la luna está hecha de
queso.
Solución
p: En la luna hay oxigeno
q: En la luna hay agua
r: En la luna hay aire
s: En la luna hay plantas
1
t: La luna está hecha de queso

{� p ( q r) �
‫خ������خ����خ‬
� ( p q)
� �
� s�
� (p s) } t

{�
� � [p q
( q r) �
p ‫���������ٮ‬ s] ( ~ p s ) } t

{� ( q r) �
p ‫���������ٮ‬
� � ��p ( q � s}
s) � t

{�
p ‫�������ٮ‬
� � p ( q s)}
( q r) � t

{ ‫������ٮ‬
p ( q r ) q s} t
{ ‫������ٻ‬
p ( q r ) q s} F
F�t
V
Es argumento valido
Problema 20
“Si Anito decía la verdad, entonces secretes corrompía la juventud, y si el tribunal lo condeno
equivocadamente, entonces Anito no es el culpable. Pero, Sócrates no corrompió la juventud o
Anito es el culpable. Por lo tanto, Anito no decía la verdad o el tribunal no condeno Sócrates
equivocadamente”
Solución:
p: Anito decía la verdad
q: Sócrates corrompía a la juventud
r: El tribunal condeno equivocadamente a Sócrates
s: Anito es el culpable

( p ���‫�ٮ���ڮ‬
�
� q) ( r s) ( q s) �
� [ p r]
( ���‫��������ڮ‬
�
� p q) ( r s) ( q s) �
� [ p r]
�� � ��[ �p ��r ]
( �p �q ) �( �r ��s ) �( �q �s ) �
( p ��q ) �( r �s ) �( q ��s ) ��p ��r
( �p ��q ) �( r �s ) �( q ��s ) ��r
( �p ��q ) �( �r �s ) �( q ��s )
�p ��q ��r �s �q
V
Es argumento valido
1
 EJERCICIOS: GRUPO 4 (PAGINA 41)
Problema 1
Sea p = “Juan estudia inglés”, q = “Pedro está en casa”. Simplificar y expresar oralmente la
p = ~ { �‫��خ‬
(p q) p} q
proposición:

Solución:

p = ~ { �‫��خ‬
(p q )| p} q
p = �P �q
p = { p � p}

∴ Juan estudia ingles , entonces está en casa

Problema 2
Determinar el equivalente a la afirmación: “x no es divisor de 3 es condición necesaria para que
x sea primo y no sea mayor que 4”.
Solución:

Problema 3
Determinar los esquemas más simples equivalentes a las proposiciones:

a)

{ ( p q)
��‫��ٮ‬ q} p
��
�( p �q ) ��q �
��p
�
��( p �q ) ��( �q ) �
��p
�
� ( �p ��q ) �q �
��p
( �p �q ) �p
p �q
b)
1
 �
� ( p ‫����خ‬
q) �( q
p� p)
[ �p �q ��p ] �(q �p)
�p �q �( p �q)
( p �q ) �q
q

c)

{ ( p �q ) �( p ��q ) } �( �p ��q )
{� ��p} �( �p ��q )
( p �q ) ��q �
�
�
�( p ��q ) �p �
��( �p ��q )
p �( �p ��q )
p ��q

( p ��‫���خ‬
r) �
�q (p r)�
�
�r �( p ��r ) �q ��p
�r �q ��p
‫ٮ‬
d) ( p ‫خخخخخخخخخ‬
r) q
�
� ( ����‫خخخ‬
q p) ( p q) �
� (p q)
[ (�q �p) �(�p ��q)] �(�p ��q)
( �q �V ��q ) �(�p ��q)
�q �( �p ��q )

e) �q
�{
( p q) ( p ( p
��‫�������ڮ‬
� q) ) �
� (p q) }
{( ~ p q) ( p
��‫����ٮ‬
�
� q) �
� (p q) }
{�( p q) q�
��‫���ٮ‬
� � (p q) }
{ ( p q)
��‫�ٮ‬ ( p q)}
�{ �( p �q ) ��( p �q ) }
p ���q �( p �q ) �
�
f) p �q
1
 {� ( p q)
���‫������خ‬
� q� �( p
� � q) �
�}
{�
( ��‫�ڮ‬
� p q) �
� ( p q) }
{ q ( p q)}
��‫خ‬
�{ �q �(�p �q )}
q �( p ��q )

g) p �q

Problema 4
Demostrar que la proposición

�
�( p �‫����غخٮ‬
( p r ) ) q�
� (p q) �
�q ( r) � �
p ��q p ��q �( �q ��r )

a) p ��q
� ( q) �
�p �‫����ٺخٮ‬
�� � ( q r) �
� (p q) �
q
� ( r) �
�
[ p ��q ] ��
[ q ��r ]
b)
( p q)
�‫خٮ‬ �
q
� ( r)�
�
( q) �
�p �‫������غخٮ‬
� � ��( p r ) q�
� (p q) [ q ( r )]
p �( p ��q ) ��r ��q p ��q �( �q ��r )
p ��r ��q p ��r ��q

c) ( p q)
��‫خ‬ r ��‫خ‬
( p q) r
1
Problema 5
¿Cuáles de las siguientes proposiciones son equivalentes?
�‫خث‬(q p) ( q p)
( q ٫�p ) ( q p )
( q �‫ٮ��ٮ‬
p) ( q p) ( q p) ( q p)
�q �p �q �p ��q �� ( p �q ) �p
p �v �� ( p ��q ) �p
p �v �( p ��q )
a) V
�
�( ���‫����ث‬
p q ) ( q) �
� � � ( p q) q�
�
q ( q
����‫����ث‬ p) p q q
‫��ث‬
q p F
q p F (F
���‫��خٮ‬ q p)
(q �p �F ) �( V �(�q ��p ) )
F �V
b) F

(p
�‫ثث‬ q) (p q)
(p q) ( q
‫خ��خ��ٮ‬ �
� p)
( p q ) (q p) �
�
[ ( p q ) (q p)] [ ( p q ) ( q
�����‫�����ګ‬ p )]
( p p)
��‫��ګ‬ ( p p)
F �V
c) F
1
 ( p q)
����‫خ‬ �
�( p q) ( q) �
�
( q)
p ��‫�ث‬ ( p q)
�
� ( p ��‫�خ����خ‬
q) ( p q) �� � �( p q) ( p q) �
�
( �p �q ) �( p ��q ) �( �p �q ) �( p ��q )
(�p �p �q ��q ) �( (~ p �q ) �p ) �( �p �q ��q )
V �V �( q ��p )

d) �p �q

Problema 6
Cuáles de las afirmaciones siguientes son verdaderas?

a)
( ~ �‫����ں‬
�
� p q) ( q r ) � � (p r)

V V V V
V F F F
F F V V
F F V F
V V V V
V F F V
V V V V
V V V V

b)
(p
‫ث�خ‬ q) ( p)
�
� q�
�

F V F
V F V
V F V
F V F

c)
( p q) r �
�����‫��ں‬
�
� �( p
� � r) (q r) �
�

V V F V F F V
F
F V V F V F F V
F F V F V F F V
V F F F V V V F
F F V F V F F V
V F F V F V F V
1
 F F V F V F F V
V F F V F V V F

Problema 7
Simplificar la proposición
�
�{
( �p ��q ) �p �q ���� �( p �q ) �( �p ��q ) �p � }
��( �q )
{���( p �q ) �( p �q ) �
���� } ��q
( p �q ) �( p ��q ) �
�
{ v ��
�( p �q ) �p ��q � } ��q
�
�
� v �( p ��q ) �
���q
( p ��q ) ��q
~q

Problema 8
Usando equivalencias lógicas simplificar:

{: (: : q) : ( p
p ��‫���ڮ‬ q)} �
�p (: p q r)�
�

Solución:
1
 { : ( : p ��‫���ڮ‬
: q) : ( p q)} � �p ( : p q r ) � �
{ : ( : ( : p ) �����‫ګ‬
: q) : ( p q)} � : p ( : p q r) �
� �
{ : ( p�����‫ګ‬
: q) : ( p q)} � � : p ( : p ( q r) ) �
�
{ ( : p ٫��q) ( : p : q ) } [ : p]
{� q) ( : p : q) ] [ ( : p : q)
( : p ��‫ٮ��ٮ‬
� } :p
( : p q) �
�
{� } �: p
: ( : p �q ) �( : p �: q ) ] �[ : ( : p �: q ) �( : p �q ) �
� �
{� } �: p
p �( : q �( : p�: q ) ) ] �[ p �( q �( : p �q ) ) �
� �
{� } �: p
p�: q �: p ] �[ p �q�: p �
� �
{�
V�: q ] �[ V �q �
� �} �: p
{ V �V} �: p
V �: p
V

Problema 9
Simplificar aplicando equivalencias lógicas la proposición:

{� q ( p q) �
p ���‫�����������ڮ‬
� � �
� } {�
r ( : r q) p�
� : p
� q : q : ( p q) ] [r p (: r }
q) �
�Solució
n:
1
 {� q ( p q) �
p ���‫�����������ڮ‬
� ��� } {�
r ( : r q) p�
� : p
� q : q : ( p q) ] [r p (: r q) �
� }
{�
� ( q ( p q) ) �
��
p ���‫�����������ڮ‬ � } {�
( r ( : r q ) ) p�
� : p
� q (: q : ( p q) ) ] [p r (: r q) �
� }
{ [ p ��‫�������ڮ‬
q] �
� } {�
( r q ) p�
� (: p
� q) (: q : p) ] [p r q�
�}
q]} { �
{ [ p ��‫����ڮ‬: p (q (:
� q : p) ) ] [p r q�
� }
q} { �
{ p ��‫���ڮ‬: p (q
� : p) ] [p r q�
� }
q} { �
{ p ��‫�ٮ‬ : p] [ p
� r q�
� }
{ p �q} �{ : : p ] �[ p �r �q �
�
� � }
{ p �q} �{ p �� }
p �( r �q ) �
� �
{ p �q} �{ p}
p �q

Problema 10
Dado el conectivo lógico (*) definido por la siguiente tabla: p q p*q
V V F
Analizar la verdad o falsedad de las siguientes proposiciones: V F F
F V V
a) q ≡ V es condición necesaria o suficiente para que (p*q) ≡ V
F F F
(p * q) ≡ V
(p * V) ≡ V, concluimos que la condición q ≡ V no es suficiente, pero si necesaria, ya que el
valor que tome p afecta el resultado, entonces es (FALSO)

b)
: p* �� ( p �‫�ٺ‬
q) *( r s) � � r s [ ̴ p * (p ʌ q) ] * (r ʌ s)
�
� : p * ( p �q ) �
�* ( r �s )
( : p * p ) �( : p *q ) �
�
� �* ( r �s )
( : p * p ) �( F ) �
�
� * ( r �s )
�
( F ) * ( r �‫ٺ‬
s) r s
si p ≡ V , q ≡ F (viceversa) entonces ̴ p ≡ q
(FALSO)

c) Es falso que (p → q) ≡ F sea condición necesaria y suficiente para (p*q) ≡ F

Si: (p → q) ≡ F, entonces p ≡ V ʌ q ≡ F
(p * q) ≡ F
(V * F) ≡ F (VERDADERO)

Problema 11
Si p ʌ q ʌ r ≡ F, demuestre que la proposición más simplificada de:
1
 �
�( : p q ) (=: q r ) �
P ���‫��ڮ‬ � ( r : p) es la proposición : p q r
P =: �� ( : p �q ) �( : q �r ) �
��( r �: p )
: ( : p �q ) �( : q �r ) �
P =�
� ��( r �: p )
( p�: q ) �( q �: r ) �
P =�
� ��( r �: p )
( p�: q ) �q �
P =�
� ���� : r �( r �: p ) �
�
P = [ p �V ] �[ : r �: p ]
P = V �[ : r �: p ]
P = ( : r �: p )
P =: ( r �p )

Problema 12
Hallar la expresión más simple equivalente a la proposición:

( : ( p ‫���ڮ‬
�
� q) �D
:‫ڮ‬(: p : q) �
� {( p : q ) ( p : q)
:�
� (q p ) ]}

Solución:

( : ( p ‫���ڮ‬
�
� q) �
: (‫ڮ‬
D: p : q) �
� {( p : q ) ( p : q)
:�
� (q p ) ]}

: ( : ( p �q )
�
� �D { ( p �: q ) �: �
) �: ( : ( : p ) �: q ) � }
( p�: q ) �( : q �p ) �
� �
( p �q ) �( : p �q ) �
�
� {
�D ( p �: q ) ��
: ( p �: q ) �: ( : q �p ) �
� � }
�
� �D { ( p �: q ) �: ( : q �p ) }
( p �q ) �( : p �q ) �
( ( p �q ) �q ) �: p �
�
� �D { ( p �: q ) �( q �: p ) ]}
[ p �q�: p ] D { pDq}
[ V �q ] D { pDq}
�
� V �( qDpDq ) ��
�
� V �( pDq ) ��
V

Problema 13
Se define la proposición lógica compuesta p*q por medio de la siguiente tabla:
Hallar la proposición lógica más simple equivalente a la siguiente proposición:
1
 ( : p) *q�
�
� �� �
� {
: ( p *q) �
� : ( : ( p * q ) ) *�
*�
� ( : p) *q ]
� ] } �: p

: p *q ] �{ [ : ( p *q ) ] *[ : ( : ( p *q ) ) * : �
�
� ( : p ) *q �
� �
�
�}�: p
: p *q ] �{[ : ( p *q ) ] *[ ( p *q ) * [ p* : q ] �
�
� }�: p
�
�
� : p *q ���{( : p* : q ) *�
�( p *q * : q ) �
}�: p
�
[ : p *q ] �{ : p* : q * p *q} �: p
[ : p *q ] �{ ( : p *q ) * ( p* : q ) } �: p
{ [ : p *q ] ��� } �: p
( : p *q ) * ( p* : q ) �
�
{ ( : p *q ) } �: p
: p

Problema 14
Simplificar la proposición compuesta:

{ : ( p ‫���ڮٮڮ‬
Dq ) �
(p
� : q) (r
: �
� s) (q p) �
�
�
� } {q (p q)}

Solución:

{ : ( p ‫���ڮٮڮ‬
Dq ) �
(p
� : q) (r
: �
� s) (q p) �
�
�
� } {q (p q)}

{�� : ( : p �q ) �: ( : q �p ) ] �[ ( p�: q ) �: �� ( : r �s ) �( : q �p ) ] ] } D { q �( : p �q ) }
{�� ( p�: q ) �( q �: p ) ] �[ ( p�: q ) ���: ( : r �s ) �( : q �p ) ] ] } D { q}
{�� ( p�: q ) �( q �: p ) �( p�: q ) � ��� �( r �: s ) �( q �: p ) �
�} D { q}
{ ( p�: q ) ��� ( q �: p ) ��
�( r �: s ) �( q �: p ) ] ] } D { q}
{ ( p�: q ) �( q �: p ) } D { q}
( pDq ) Dq
pDq

Problema 15
Enunciar una proposición t, lo más sencilla posible, que sea equivalente a RS, sabiendo:
R = pD{( pDq ) �[(r �~ q ) �(q �~ p )] �( p �~ q )}
(~ p =q ) {[~ q ( p r )] ( p q )}
S ‫�ڮ�ٮ‬

Solución
1
R = pD{( pDq ) �[( r �~ q ) �( q �~ p )] � ( p �~ q )}
R = pD{[( p �~ q ) � ( q �~ p )] �[( r �~ q ) �( q �~ p )] � ( p �~ q )}
R = pD{[( p �~ q ) � ( q �~ p )] � ( p �~ q )}
R = pD{[( p �~ q ) � ( q �~ p )]}
R = pD{[( p �~ q ) �q ] �[( p �~ q )�~ p]}
R = pD[( q �p ) �(~ p �~ q )]}
R = { p �~ [( q � p ) �(~ p �~ q )]} �{[( q � p ) �(~ p �~ q )]Ù ~ p}
R = { p �[(~ q �~ p) � ( p �q )]} �{[( q � p ) �~ p}
R = {[ p �(~ q �~ p )] �[ p �( p �q )]} �{~ p �q}
R = {( F �~ q ) �( p �q )}
R = ( p �q ) �{~ p �q}
R = q �V
R =q

(~ p =q )
S ‫�ڮ�ٮ‬ {[~ q ( p r )] ( p q )}
S = ( p �q ) �{[q � ( p �r )] �(~ p � q )}
S = ( p �q ) �{q �[( p �r ) �~ p}
S = ( p �q ) �{q �[( p �r ) �~ p}
S = ( p �q ) �{q � ( F �r )}
S = ( p �q ) �{q �F }
S = ( p �q ) �q
S = q

Entonces: R � S = q � q = q

Problema 16
Aplicando las equivalencias lógicas, simplificar lo más posible las siguientes proposiciones:
(q ~ r )] [ p =(q
P ������‫���ٮ‬
{[ p r )]} {[ p q ( p v q ) ] [r (~ r v q ) p ]}

Solución
1
 {[ p ( q ~ r )] [ p (=q
P ������‫���ٮ‬ r )]} {[ p q( p v q ) ] [r (~ r v q ) p]}
P = {[~ p � (q �~ r )] �[ p �(~ q � r )]} �{[ p �q �( p �q ) ] �[r �(~ r v q ) �p]}
P = {[ p �(q �~ r )] �(~ q � r ) } �{[ p �q �( p � q ) ] �[r �(~ r � q ) �p ]}
P = { p �[( q �~ r ) �(~ q � r )] } �{[ p �q �( p � q ) ] �[ r �(~ r � q ) �p ]}
P = { p �[ F ] } �{[ p �q �( p � q ) ] �[ r �(~ r v q ) �p]}
P = [ F ] �{[ p �q �( p � q ) ] �[r �(~ r � q ) �p]}
P = {[ p �q �( p � q ) ] �[r �(~ r � q ) �p ]}
P = [ p �q ] �[(r �~ r ) � ( r �q ) �p]
P = [ p �q ] �[ r �( p �q )]
P = [ p �q]

Q ‫�ٮ‬ D(~ q p =)
‫���ڮګ‬
{[( (~ p q ) ) (p r )] ~ ( p q )} [ q ( ( t s) q)]
Q =���������
{[((~ q p ) (~ p qD�‫ٮ‬
)) (~ p r )] ~ (( p q) (~ p ~ q ) )} [ q ( ( t s) q )]
Q = {[((~ q �p ) �(~ p �q )) �(~ p �r )] �~ (( p �q ) ��
(~ Dp�‫ٮ‬
~ q ) )} [q ( ( t s) q )]
Q = [(~ r �p ) �q] �[( r �~ p ) �~ q]

Problema 17
Si x e y son las proposiciones más simplificadas de los esquemas moleculares:
P = { p �[(q �~ r ) � (r �~ q )]} �[( q �~ p ) � (~ q �r )]
P = { p �[(q �~ r ) �r ]�~ q} �[(q �~ p ) � (~ q � r )]
P = { p �[( r �q ) �~ q ]} �[(q �~ p ) � (~ q �r )]
P = { p �[ r � V ]} �[(q �~ p ) � (~ q �r )]
P = { p �[(q �~ p ) � (~ q � r )]
P = { p �[[(q �~ p ) �~ q] � r ]
P = p �[~ p � (~ q �r )]
P = p �(~ q �r )
1
 {[(~ p q ) (~ p ~ =q )] [~ (~ p q )
Q ��‫�������ڮ‬ ~ (~ p ~ q)]} [p ( q r ~ p)]
{[(~ p ( q ~ q )] =[~ (~ p q)
Q ��‫������ڮ‬ ~ (~ p ~ q )]} [ p ( q r ~ p )]
{[(~ p ( F ) ] [~= (~ p q )
Q ��‫�����ڮ‬ ~ (~ p ~ q )]} [ p (q r ~ p)]
Q = {F � [( p �~ q ) �( p � q ) ]} �[ p � (q ��
r ~ p)]
{F [ p =(~ q q)]} [ p
Q ��‫���ڮ‬ ( q r ~ p)]
p [=p
Q ��‫ڮ‬ ( q r ~ p)]
Q = p �[~ p � ( q ��
r ~ p)]
Q = ( p �~ p ) � (q ��
r ~ p)
Q = ( V ) � ( q ��
r ~ p) = Q = ( V )

Respectivamente, hallar x v y

P �~ Q = [ p �(~ q �r )] �( V ) = ( V )

Problema 18
Cuáles de las siguientes proposiciones son verdaderas?
~ [~ ( p ��‫ٮ‬
q) (~ q )] ( p q)
~ [( p �q ) � (~ q )]
[~ ( p �q) �q ]
[~ p �~ q ) �q ]
a. [q �‫ٺ‬~ p] ~ p q

La proposición es falsa.

~ [(~ p ) � q] �( p � q )
~ [(~ p ‫��ٺ‬
q) (~~ p ~ q )]
~ [(~ p �q) � ( p �~ q )]
[~ (~ p �q) �~ ( p �~ q )]
( p ~~ q) ‫�ٺ�ٮ‬
(~ p q ) ( p q) ( q p)
b. �(~ p � q) �(~ q � p )

La proposición es verdadera
1
 ~ {(~ p �‫���ں‬
q ) [ p (~ p q )]} ( p ~ q)
~ ( p �q) �~ [ p �(~ p � q)]
~ ( p �q) �~ [ p �q]
~ ( p �q )
c. ~ p �‫ں‬ ~q ~ p ~q

La proposición es verdadera

1
 EJERCICIOS: GRUPO 5 (PAGINA 57)

Problema 1
Determinar la menor expresión que representa el circuito dado:

[ p �[q � (~ q �~ p )]�~ p
[ p � (q �~ pp)]�~ p
p
q ( p �~ p) �q
q p
V �q
V �~ p
a). ~ p

b.
p
p
p
q

(~ p �~ q) �[ p �(~ p �q)]
(~ p �~ q) � ( p �q)
a �( p �q )
(~ p � a) �(~ q � a)
[~ p � ( p �q)] �(~ q � ( p �q))
(~ p � q) �(~ q � p )
( p ‫�ٮ‬
q) (q p)
b). (p � q)

c.
p p qq
p
q
1
 {( p �q) �[(~ p �~ q ) �q ]} �p
( p �q) � (q �~ p)
[( p �q) �q ]�~ p
(q �~) �p
p �q
d.

p �[~ p �[~ q �( p �q )]]�~ q

[~ p �p(~ q � p)]
(~ p �q p)�~ q q
p
V �~ q
p�p V �~ q q
d). p �~ q

e.

[(q �~ p ) � (~ p �q )] �(~ q � q )
~ p �(p~ q � q )
q
q (~ p �q ) �(~ q � q )
p (~ p �q ) �V
q q
d). (~ p �q )
1
 r

p
f.

p
rq
[ p �( p � q ) �q ] �[r �(~ r � q ) �p ]
( p �q ) �[(r �q) �p]
p

q
( p �q ) �[r �( p �q )]
f).
p �q

g.
q r
p q

q
qr
(p � q ) �[(~ q �( r �
p~ q)) � ( p �q )] �

(p � q ) �[~ q � ( p �q)]
p � q �( - q � p ) �r
p �( q �- q)
p� F
g). p �r

h.
p

[(~ p �~ q ) � ( p � q ) ] �{( p �q ) �[(~ p �~ q ) � p ]} �p

{[(~ p �~ q) � p] �q} �{ ( p �q) � ( p �~ q)} �p
{( p �~ q ) � q} �{[( p �q ) � p ]�~ q} �p
p q{( q � p ) } � { p �~ q} �p
p ~ qp) �p qq
( )
q � p �( p �
p
p
q p � (q �~ q ) �p
p
p � F �p
P �P
P
1
Problema 2
Determinar los circuitos lógicos que representan a los siguientes esquemas moleculares:

~ [ p �~ (q �r )]
~ [~ p �~ ( q � r )]
. p �(q �r )

(~ p) � ( p �~ q )
(~ p) � (~ p �~ q )
[q~ p �(~ p �~ q )] �[~ (~ p )�~ (~ p �~ q )]
p
~r p �[ p �( p �q )]
~ p �[ p �q ]
b. [~ p � q ]

(p q)
�‫ڮڮ‬ [(~ p q) ( p q)]
(p pq )
���‫ڮ‬ [~ (~ p q) ( p q )]
[~ ( p � q ) ] �[~ (~ p �q ) � ( p �q )
q
p �(~ q � q)
[~ p �~ q] �[ p �( V ) ]
[~ p �~ q ] � p
c. [ p �~ q ]
p
q

1
 ( pDq) � (qDp )
[(~ p ���‫��ٮ‬
q) ( p ~ q )] [(~ q p) (q ~ p )]
~ [(~ p �q ) � ( p �~ q )] �[(~ q �p ) � (q �~ p)]
d. [( p �~ q ) �(~ p �q )] �[(~ q �p ) � (q �~ p )]

{[[(r � q )] �p ]�~ r} �qp

p
{[( r � qq ) �p ]�~ r} �q
q
[( r � q ) �
q ~ r ] �( p �~ r ) �q
[(~ r � q ) �( p �~pr )] �q
[~ r � (q �p )] �q p
q
~ r �( q �p) �q
e. ~ r �( q �p )

r q p

Problema 3.
Simplificar y hallar el equivalente a los circuitos dados:

a)

r
p

rs s
{[( r � s ) � (~ r �~ s)]�~ s} �{r �( p �~ r )}
p
q

s
q

(r �~ r ) � ( s �~ s)
{( V � V ) �~ s} p
V �~ s r r
~ s �{r �( p �~ r )}
p

~ s ��‫�ٺ‬
( r p) s (r p )
p
p

qq

b)
1
p
 [(~ p �~ q) � ( p � q ) ] �{( p �q ) �[(~ p �~ q ) � p ]}�~ p
[( p �~ q ) �q ] �{( p �q ) � ( p �~ q )}
[ p � (~ q � q )] �{( p �q ) � p}�~ p
[ p �V ] { p�~ q}
[V ]
[V �p �~ q ]�~ p
[ p �~ q ]�~ p
[~ p �~ q ] �~ ( p � q )

c)

[[ p �q �( ~ q �~ p ) ] �( ~ p � q ) �p ]
[ p �q�~ p] �( p �q )
[V �q ] �( p �q )
p V �( p �q )
p
q p p ( p �q )
q

d) p q
r
p q q
pp
[( p~ p �~ q ) �( p � q ) ] �[ p �(q �( ~ r �~ p ) ]�~ q
q
[( p�~ q ) �q ] �[ p �(q �( ~ r �~ p ) ]�~ q
[ v] �[ p �(q �( ~ r �~ p ) ]�~ q
[ p � (q �( ~ r �~ p ) ]�~ q
[ p �~ q �( ~ r �~ p ) ]�~ q
p �~ q
1
Problema 4
A un electricista se le da el diagrama del circuito
siguiente:
Él quiere hacer una instalación lo más económica
posible y que sea equivalente al circuito original. Si
cada interruptor cuesta $1.20 y no teniendo en cuenta
el alambre, ¿cuánto le costó la instalación y cuanto se
ahorró?

Solucion

( p �r ) �[(( p �q) �r ) �( r � q )]
( p �r ) �[(( p �r ) �( q �r )) �(r � q)]
( p �r ) �[( p �r ) �(( q �r ) �( r � q))]
( p �r ) �( p �r ) �( r �( q � q)
( p �r ) �( p �r ) �( r �V )
( p �r ) �r
�r

En el circuito original hay 7 interruptores que costarían $8.40 y su equivalencia solo tiene una
compuerta y cuesta $1.20, por lo cual ahorra $7.20.

Problema 5
Demostrar que son equivalentes los circuitos A; B y C.

Sol A: sol B:
1
( p �r ) �[(( p �q) �r ) �( r � q )]
( p �r ) �[(( p �r ) �( q �r )) �(r � q)]
( p �r ) �[( p �r ) �(( q �r ) �( r � q))]
( p �r ) �( p �r ) �( r �( q � q)
(q �r ) �[(q �p ) �(r �p)]
( p �r ) �( p �r ) �( r �V )
( p �r ) �r (q �r ) �[ p �(q �r )]
�r �q �r

Sol C:
[q �(r � r )] �[((q � q) �( r � r )) �r ]
[q �V ] �[( F �V ) �r ]
q �[V �r ]
�q �r ∴ Solo B y C son equivalentes, A es diferente de B y C.

Problema 6
Demostrar que los siguientes circuitos son equivalentes a p △ q.

( p ‫ں‬q) ��
( p��
p) ( q p) ( pV q )
( p ‫ں‬q) ���
V ( q p) ( pV q )
[( p� q) �(q� p)] �[( p� q) �( p� p)] � ( pV q)
( p ‫ں‬q) ��
( q p) ( pV q )
( p �(q � q)) � ( p � q) �(q � p ) [( p ‫ں‬q��
) (q��p)]� [( p q) V ] ( pV q)
( p ��
F ) �‫ں‬
(p q) ( q p) [( p ‫ٺ‬q��
) (q� p)] V ( pV q)
p �( p � q) �(q � p) ( p � q) �(q � p) � ( p � q) �(q � p)
1
Problema 7
Construir el circuito más simple correspondiente al circuito:

(q �r ) �( p � q �r �s ) �(r � s) �( p � r ) �( p �q � r ) �( q � r � s )

r �[ q �( p � q �s )� s )]� r �[ p �(  p �q ) �(  q � s )
r �[ q �( p �s)� s )]� r �[( p �q ) �(  q � s)]
r �[ q �p � s]� r �[ p �(q �( q � s ))]
r �[ q �p � s]� r �[ p �q � s]
( p �q � s ) �( r �r )
( p �q � s ) �V
�p �q� s

GRAFICA SIMPLIFICADA:

Problema 8
Hallar el resultado de conectar en paralelo los siguientes circuitos:

Uniendo por paralelas:

1
[( p �q) �q] �[ p �( q �p))� p )� q ] �[( p �q ) �(( p � q) �p )) �p ]
q �[(( p � q )� p)� q ] �[(( p �q) �p� q) �p]
q �[( p � q)� q] �[( p� q) �p ]
q � q �( p � q )
V �( p � q)
�V

Problema 9
El costo de una llave en la instalación del circuito siguiente es de $15. ¿En cuánto reducirá el
costo de instalación si se reemplaza dicho circuito por el más simple posible?

[(( p �q ) �( p � q )) �(( p �q ) �( p � q ))] �[((( p �( p �q )) �q ) �((r �(  r �q )) �p )]

[(( p �q ) �( p � q ))� (( p � q ) �( p �q ))] �[((( p �( p �q )) �q) �((r �(  r �q)) �p)]
V �[( p �q) �((r �q) �p )]
V �[( p �q) �(r �(q �p))]
V �( p �q )
�p �q

Graficamos:

∴ Al principio tiene 16 llaves y el precio seria $240 y solo le costaría $30. Entonces reduciría en
$210.
1
Problema 10
Construir el circuito lógico más simple equivalente al circuito:

p �[( p �(( q �r ) �(q � r ))) �(((q �r ) �( s �t )) �((r �q ) �(t �s ))]

p �[( p �(( q �(r �(q � r ))) �(((q �r ) �( s �t )) �((q �r ) �( s �t ))]
p �[( p �(( q �(r �q ))) �((q �r ) �(s �t ))]
p �[( p �(( q �q) �r ))) �((q �r ) �( s �t ))]
p �[( p �(V �r )) �((q �r ) �( s �t ))]
p �(
[ p �V ))v ((q �r ) �( s �t ))]
p �[ p �((q �r ) �( s �t ))]
�p

Graficamos:
1
Problema 11.
Sea P la preposición más simpliicada del circuito logico

Y sea Q la preposición más simplificada de

( p �s ) �( p ��s ) �
Q ��
� ( p �q ) �( p �r ) �
���
� �

Construir el circuito lógica más simplificada correspondiente a P→Q

Solución

P �{� �( p �q ) ���( r ��q ) �( q ��r ) ] ] �[ ( �r �q ) �( r ��q ) } �{ ( p �q ) �( p ��q ) �( �p ��q ) }

{[( p �q ) ��
� ( r �q ) ��r �
��� �( r �q ) �( �q ��r ) � �} �{ p �( p �q ) �( �p ��q ) }
{[( p �q ) �~ r ] �[ ( r �q ) �( �q ��r ) ]} �{ p �( �p ��q ) }

{ [ p �q ] �� ( r �q ) �( �q ��r ) �
� � } �{ p ��q}
{ [ p �[ ( r �q ) �( q �( �q ��r ) ) ]} �{ p ��q}
{ [ p �[ ( r �q ) �( q ��r ) ]} �{ p ��q}
{ [ p �[ q �( r ��r ) ]} �{ p ��q}
{ p �q} �{ p ‫�غ‬q} p
1
 ( p �s ) �( p ��s ) �
Q ��
� ( p �q ) �( p �r ) �
���
� �
�
�( p �( s ��s ) �
����p �( q �r ) ]
p �� �p �( q �r ) �
�
�
�p �( q �r ) �
�
P �Q
p �( q �r ) �
p��
� �
p �( q �r ) �
�p ��
� �
( ���‫�����ں‬
p p) �
�p ( q r) �
� �
�p (q r) �
�

Problema 12.
Sea P la proposicion más simplificada del circuito lógico

Y sea Q la proposición más simplificada de : s ��D

�
�‫خ‬
w ( s w) �
�
Si p, q, r,s, t, w son proposiciones lógicas cualesquiera tales P � Q es verdadera
y �‫خ‬
w s es falsa; hallar los valores de verdad de las siguientes proposiciones
a) ( s ���‫�خ‬
w) ( p q)
b) ( q
��‫�خخ�خ‬ p) �
�(t w) (w p) �
�
Solución
1
P ��
� {
( �p �q ) �( p �( �q ��p ) �
���
� }
( �p �p ) �( �p ��q ) ] | �p
{� ��[ �p ��q ] } �p
( �p �q ) �( p ��q ) �
�
{� ��[ �p ��q ] } �p
( p �q ) �( �p ��q ) �
�
{ ( �p ��q ) } �p
p ��q
wD ( ~ s � w ) �
Q �s �~ �
� �
�s ���wD ( s �w ) �
� �
( w ��( s �w ) ) �( ( s �w ) ��w ) �
�s ���
� �
( w �( �s ��w ) ) �( s ��w ) �
�s ���
� �
( s ��w ) �
�s ���
� �
�s ��w
P � Q es verdadera
Pero
‫خخخخخخخخغخ‬
w s F
w ‫�غ‬s F
w �F ; s �V
Entonces :
( p ‫�ث��غ‬
q) ( s w) V
( p ‫�ثں‬q ) ( F V) V
( p �‫�ث‬q) V V
( p ‫�غ‬q ) V
p �V ; q �F

a) ( s ���‫�خ‬w) ( p q)
( F ��‫���ں‬
V) ( F F) F V V
( q
b) ��‫�خخ�خ‬ p) ( t w) ( w
�
� p) �
�
( V F) �
�‫خ�ڮ‬ � ( t V ) ( F F) �
�
( F) �
����‫خ‬ ( V ) ( F) �
� � V F F

Problema 13
Construir el circuito logico mas simple equivalente a:
1
Solución

{( p �q �r ) �( p ��q �r ) �( �p ��q �r ) }
{( q �( p �r ) ) �( �q �( p �r ) ) �( �p ��q �r ) }
{(( p �r ) �(q�~ q)) �( �p ��q �r ) }
{( p �r ) �( �p ��q �r ) }
{r �(p �( �p ��q ) )}
r �(p ��q)

Problema 14
Sea A la proposicion más simplificada del circuito lógico

Y B la proposicón compuesta más simplificada de

1
 { ��
����� r D s ) s}
D(�‫ث‬ {( r s) (s ( r s) r )}

Hallar el valor de verdad de A↔B sabiendo que la proposición compuesta:

{[��‫خ��خخ‬
p (q r)] q} { r ( p s) }
, es falsa
Solución
A �[((p �q) ��q) ��p] �[q �(p �(�q ��p))] �[p �(p �q)]
[(p ��q) ��p] �[q �(p ��q)] �[p]
[�q ��p] �[q �p] �[p]
[�q ��p] �[p]
[�q �p]

B �{ ~ ( r � �s ) Ds} �{(�r �s) �(s �( rDs ) ��r )}

{�[(r ��s) �(�r �s)]Ds} �{(�r �s) �[(s ��r) �((r ��s) �(s ��r))]}
{[( �r �s ) �( r ��s ) ]Ds} �{�r �s]
Si[( ‫����غ‬
r s) ( r s) ] a

Entonces

B �{ aDs} �{�r �s]

{(a ��s) �(s ��a)} �{�r �s]
{( a �s ) �( �a ��s ) } ��r �s
{�
�s �( a �s ) �
���
� s �( �a ��s ) �
�} ��r
{s �[( �r �s ) �( r ��s ) ]} ��r
{�
�( s ��r ) ��
( �r �s ) �( r ��s ) ]}
�
s ��r
1
{[‫خ��خخ�ں‬
p (q r )] q} { r ( p s)} F
Entonces :
*{[~ p �‫���غغ‬
(q r )] q} V * q V q F
[(p ‫���غ‬
q r )] q V
[ p ‫��غ‬
r] q V
q ‫�ں‬ F ;[ p r ] V
*{ ‫خ�ں‬
r ( p s)} F
{ r ‫��ں‬
( p s)} F
r ‫��ں‬F ( p s) F
�‫غ‬
p F, s F
p �V

Por lo tanto pide hallar el valor de verdad de A � B

A�B
{ ��‫�ګ‬
q p} { s r}
{ ��‫�ګ‬
F V} { F F}
{ V �‫ګ‬
V} { F V}
{ V} � { V} �V

Problema 15
Hallar la proposicion x mas simple de manera que el circuito logico siguiente
1
{( q) � (
p ( p q) p ( p q)
p ‫����������ں‬
�
( ( (p ((p q) x) }
))))�
�
p

X �p

Para que sea solo p ya que es el más simple.

Problema 16
Simplificar lo más posible el siguiente circuito siguiendo pasos ordenados y justificados

{�
� ��[(p �q) �(�p ��q )]} �{[p �( p �q ) �r �( p �r ) ] �[ ( p �r ) �( �p �r ) ]}
( p �q ) �( �p ��q ) �
{�
( p �q ) �( �p ��q ) �
� ����
� } �{[p �r ] �[ ( p �r ) �( �p �r ) ]}
( p �q ) �( �p ��q ) �
�

{( p ‫����������غ‬
* �
� q) ( p q) � ( p q)
� �
� ( p q) � }
� V
V �{[p �r ] �[ ( p �r ) �( �p �r ) ]}
{[p �r ] �[ ( p �r ) �( �p �r ) ]}
{[p �r ] �[ r �( p �~ p ) ]}
{[p �r ] �[ r �( F ) ]}
r ] [ r]}
{[p ‫�ں‬ r

Problema 17
Sea A el circuito logico mas simple eqivalente al circuito
1
Y sea B, el circuito lógico más simple equivalente al circuito

Construir el circuito lógico simplificado correspondiente a A→B

A �{ ( p ��q ) �( �p �q ) �q} ��p

{ ( p ��q ) �q} ��p
{ V} �‫�غ‬
p p

B �{ ( p �q ) �( �r ��s ��t ) } �{ ( p �q ) �( p �s �t ) }

{ ( p �q ) �� }
�( �r ��s ��t ) � ( p �s �t ) �
�
{ ( p �q ) �[ p �[ ( �r ��s ��t ) �s �t]]}
{ (p �[ q �[ ( �r ��s ��t ) �s �t]]}
{ (p �[ q �[ ( �r ��( s �t ) �s �t ) ]]}
{ (p �[ q ��[ r �s �t]]} A≋ {(p˅~q)˅(~p˄q)˅q}˄~p
1
1