Estructuras Discretas

Proposicin Lgica:
Es un enunciado declarativo, que admite la posibilidad de ser

falso o verdadero, pero NO falso y verdadero al mismo tiempo.
Proposiciones
lgicas:
Proposiciones NO
lgicas:
El sol es una estrella.
Cunto cuesta el reloj?
El hierro es un mineral.
Qu es la lgica?
El pizarrn esta muy

limpio.
El colibr es un ave.
El da tiene 24 horas.
Es el hombre ms fuerte
del mundo.
La Coca es una empresa

transnacional.
Dnde estas?
Las flores son plantas.
A lo mejor si voy.
2+6=8
13+7.
La casa es roja.
T cllate.
Mara juega basquetbol.
Comes y te vas!
La casa es roja.
Cmo te llamas?
Carlos no tiene dinero.
Cuidado con el perro!
Lety estudia Estructuras

Discretas.
Estudias o trabajas?
Manuel no aprueba el
curso.
Existe vida
extraterrestre.
Cancn tiene playas

hermosas.
Todo quedo claro?
Parece que fue ayer!
Carlos va a la fiesta.
Donde vives?
La novia de Francisco se
llama Gabriela.
No es posible!
Camina siempre
adelante!
Obtenga la Tabla de Verdad de las siguientes formulas proposicionales.

Indique si es una Tautologa, Contradiccin o Contingencia.
1.-P Q Q P
2.-P v Q Q v P
3.-P Q Q P
P
F
F
T
T
Q
F
T
F
T
P
F
F
T
T
Q
F
T
F
T
P
F
F
T
T
Q
F
T
F
T
P Q Q P
F
T
F
F
T
F
F
T
F
T
T
T
P vQ
F
T
T
T
PQ
T
T
F
T
Q v P
T
F
T
T
T
T
T
T
Q P
T
T
F
F
F
T
T
T
7P v 7Q 7( P Q)
Tautologa.
Tautologa.
NO se
cumple la
bicondiciona
l
Falacia.

4.-7P v 7Q ( P Q)
F
F
T
T
F
T
F
T
T
T
F
F
T
T
T
F
T
F
T
F
T
T
T
T
T
T
T
F
F
F
F
T
Tautologa.
P Q R
5.-( P Q) R P (Q
R)
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
P Q R
6.-P (Q v R)(PQ) v
(PR)
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
P Q R
( P Q ) RP
(QR)
F
F T F
F
F T F
F
F T F
F
F T F
F
F T F
F
F T F
T
F T F
T
T T T
F
F
F
T
F
F
F
T
P(Q v R)(PQ)
(PR)
F
F
T
F
F
F
T
T
F
F
F
T
T
F
F
F
T
T
F
F
F
F
T
F
F
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
Tautologa.
v
F
F
F
F
F
T
F
T
P v (QR)(P v Q)(P
v R)
Tautologa.

7. P v (Q R)(P v Q)
(P v R)
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
F
F
F
T
T
T
T
T
F
F
F
T
F
F
F
T
T
T
T
T
T
T
T
T
F
F
T
T
T
T
T
T
F
F
F
T
T
T
T
T
F
T
F
T
T
T
T
T
Tautologa.
Determine la notacin simblica de las proposiciones que

aparecen a continuacin:
1.-Arturo juega ftbol
Proposicin Simple o Atmica.

A: Arturo juega ftbol
A.
2.-Carlos no va a la fiesta
B: Carlos va a la fiesta
La proposicin es Compuesta o
Molcula
7B.
3.- Si Daniela aprueba el examen entonces se va a Espaa de paseo.

C: Daniela aprueba el examen.
D: Se va a Espaa de paseo.
CD.
4.- No como alimentos chatarra
, mantengo un peso adecuado.
E: Como alimentos chatarra.

F: Mantengo un peso adecuado.
7E F.
5.- Te quiero mucho pero no me caso.
G: Te quiero mucho.
H: Me caso.
G 7H.
6.- La mesa es de caoba o la silla es tubular.

I: La mesa es de caoba.
J: La silla es tubular.
I v J.
7.- Si Lucy come fruta entonces Lucy se mantiene delgada.

K: Si Lucy come fruta.
L: Lucy se mantiene delgada.
KL.
8.- Ni se detect un virus no se aplic un tratamiento.
M: Se detect un virus.
N: Se aplic un tratamiento.
7M 7N.
Del la Lgica Proposicional a el Algebra

de Boole.
7ABC
Equivalente de la Condicional
Utilizando la Notacin de Boole:
*
7A A'
v+
Obtener :
Tabla de Verdad.
Formas Cannicas.
El Circuito de dos Estados.
7(7AB)vC
(A'*B)'+C
TABLA DE VERDAD:
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
( A'
1
1
1
1
0
0
0
0
0
0
1
1
0
0
0
0
* B)'+ C
1
1
1
1
0
0
0
1
1
1
1
1
1
1
1
1
0
1
0
1
0
1
0
1
NOTA: La Salida se encuentra en Color Rojo.
FORMAS CANONICAS:
Miterninos: suma de productos
f = ( A ' * B ' * C ' )+( A ' * B ' * C )+( A ' * B * C )+ ( A * B ' * C ' )+
( A * B ' * C )+ ( A * B * C ' )+ ( A * B * C ).
Maxterminos: producto de sumas
F = A + B ' + C.
CIRCUITO DE DOS ESTADOS:
Dado el siguiente Mapa de Karnaugh obtener:
La Tabla de Verdad.
Las Formas Cannicas.
La funcin Simplificada ( S ).
TABLA DE VERDAD:
SALIDA
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
0
0
1
1
0
0
0
0
1
1
La Salida se obtuvo directamente

de el Mapa de Karnaugh.
FORMAS CANNICAS:
Miterninos:
f = ( A' * B' * C *D')+ ( A' * B' * C *D)+ ( A' * B * C' *D')+ ( A' * B * C'
*D)+
( A * B' * C' *D')+ ( A * B' * C' *D)+ ( A * B * C *D')+ ( A * B * C *D).
Maxterminos:
F= ( A+B+C+D) * ( A+B+C+D') * ( A+B'+C'+D) * ( A+B'+C'+D') *
( A'+B+C'+D) * ( A'+B+C'+D') *( A'+B'+C+D) * ( A'+B'+C+D').
LA FUNCIN SIMPLIFICADA ( S ):
S = ( A' * B' * C ) + ( A' * B * C' ) + ( A * B * C ) + ( A * B' * C' ).
Dado el siguiente Mapa de Karnaugh obtener:
La Tabla de Verdad.
La funcin Simplificada ( S ).
TABLA DE VERDAD:
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
SALIDA
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
1
0
0
0
0
0
1
1
1
0
0
0
0
1
La Salida se obtuvo directamente

de el Mapa de Karnaugh.
LA FUNCIN SIMPLIFICADA ( S ):
S = ( B' * C' ) + ( B' * D') + ( A * B * C * D ).
Dado el siguiente Mapa de Karnaugh de encuentra la Funcion de

Salida simplificada
La funcin de simplificada es:
S = ( A' * B' * C * E ) + ( C' * E' * B' ) + ( C' * F * B' ) + ( C * D' * E * F' ) +

( C * F' * B ) + ( C' * D' * F * A ) + ( C' * E' * A' ).
Dado el siguiente Mapa de Karnaugh encuentra la Funcion de Salida

simplificada
La funcin de simplificada es:
S = ( B * D * E' ) + ( A' * B * E' ) + ( B' * C' * E' ) +( A' * D' * E' * F ) +

( A' * D * E' * F' ) +
1
5
( B * C' * D' * E ) + ( B * C' * E * F' ) + ( A * B' * D * F ) + ( A' * B' *
C * E * F' ) +
6
9
( A * B' * C' * F ) + ( A' * B' * C * D * E ) + ( B * C * E' * F' ) + ( A *
B' * C * D' * E ).
10
11
12
13
Implemente un circuito de dos estados que indique si un nmero es

o no primo, dicho nmero se encuentra entre el 0 y el 15. En este
caso deber incluir:
Tabla de verdad.
Formas Canonicas.
Mapa de Karnaugh.
Funcion Simplificada ( S ).
Circuito de dos estados.
TABLA DE VERDAD:
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
SALIDA
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
1
0
0
0
1
0
1
0
0
Cuando:
SALIDA
LED
NMERO
Apagado
No es primo
Encendido
S es primo
FORMAS CANNICAS:
Miterninos:
f = ( A' * B' * C' *D) + ( A' * B' * C *D') + ( A' * B' * C *D) + ( A' * B * C'
*D) +
( A' * B * C *D) + ( A * B' * C *D) + ( A * B * C' *D) .
Maxterminos:
F = ( A+B+C+D) * ( A+B'+C+D) * ( A+B'+C'+D) * ( A'+B+C+D) *
( A'+B+C+D') *
( A'+B+C'+D) * ( A'+B'+C+D) * ( A'+B'+C'+D) * ( A'+B'+C'+D').
MAPA DE KARNAUGH:
S = ( A' * D ) + ( A' * B' * C ) + ( B * C' * D ) + ( B' * C * D ).
CIRCUITO DE DOS ESTADOS:
Resuelva las siguientes Equivalencias por Propiedades Algebraicas:
NOTA: Recuerde que partimos del lado izquierdo para llegar al lado derecho
EJERCICIO 1
( 7P v P) ( P ( P Q ) ) ( P
Q)
T ( P ( P Q ) ) ( P Q )
Complemento
T ( ( P P) Q ) ( P Q )
Idempotencia
T ( P Q ) ( P Q )
( P Q ) ( P Q )
Asociativa
Identidad
S cumple la
equivalencia
EJERCICIO 2
( P v Q ) ( P Q ) v ( P 7Q ) v ( 7P
Q)
(PT)v(QT)
Identidad
( P ( Q v7Q ) ) v (Q ( P v 7P) )
Distributiva
( P Q ) v ( P 7Q ) v ( Q P ) v (
Q 7P )
( P Q ) v ( P Q ) v ( P 7Q ) v( 7P
Q )
Conmutativa x3
Complemento
Idempotencia
(PQ) v (P7Q) v (7PQ)(PQ) v (P7Q) v (7PQ)

la equivalencia
S cumple
EJERCICIO 3
( P7Q ) v PT
( 7P v 7Q ) v PT
7P v 7Q v PT
( 7P v 7P ) v 7QT
Eq Condicional
Asociativa ( )
Conmuta / Asocia ( )
Complemento
T v 7QT
Dominancia
TT
S cumple la
equivalencia
EJERCICIO 4
P( QP ) 7P ( PQ )
Eq Condicional
7P v ( QP ) 7P ( PQ )
Eq Condicional
7P v ( 7Q v P ) 7P ( PQ )
Asociativa ( )
7P v P v 7Q 7P ( PQ )
Conmutativa
T v 7Q 7P ( PQ )
Complemento
T 7P ( PQ )
Dominancia
T v Q 7P ( PQ )
Dominancia
(7P v P) v Q 7P ( PQ )
Complemento
7P v P v Q 7P ( PQ )
Asociativa ( )
P v (7P v Q) 7P ( PQ )
Conmuta / Asocia ()
7P ( 7P v Q ) 7P ( PQ )
Eq Condicional
7P ( 77P Q ) 7P ( PQ )
Eq Condicional
7P ( P Q ) 7P ( PQ )
Doble Negacin
7P ( P Q ) 7P ( PQ )
S cumple la
equivalencia
EJERCICIO 5
P7P F
( P 7P ) ( 7P P ) F
( 7P v 7P ) ( 77P v P ) F
( 7P v 7P ) ( P v P ) F
Eq Bicondicional
Eq Condicional x2
Doble Negacin
Idempotencia
( 7P ) ( P ) F
FF
Complemento
S cumple la
equivalencia
EJERCICIO 6
( R v 7R) S [ R( ( R Q ) v R ) ]
S
TS
Complemento
Identidad
FvS
Eq Condicional
7F S
Negado de F
T S
Complemento
( 7R v R ) S
Eq Condicional
( RR)S
Asociativa ( )
RRS
Identidad
Absorcin
R(Rv(RQ))S
Doble Negacin
[ R( ( R Q ) v R ) ) ]S [ R( ( R Q ) v
R ) ] S
S cumple la
equivalencia
EJERCICIO 7
( Q P ) ( 7P Q ) F
( 7Q v P ) ( 7P Q ) F
7( 7 7Q v 7P ) ( 7P Q ) F
7( Q v 7P ) ( 7P Q ) F
Eq Condicional
DMorgan
Doble Negacin
Conmutativa
7( 7P Q ) ( 7P Q ) F
7A A F
FF
Cambio de variable
( 7P Q ) A
Complemento
S cumple la
equivalencia
EJERCICIO 8
P( P ( Q P ) ) T
7P v ( P ( 7Q v P ) ) T
Eq Condicional X2
Distributiva
7P v ( P 7 Q ) v ( P P )T
Idempotencia
7P v ( P 7 Q ) v P T
Conmutativa /
Asociativa
(7P v P ) v ( P 7 Q ) T
Complemento
T v ( P 7 Q ) T
T T
Dominancia
S cumple la
equivalencia
EJERCICIO 9
( P Q ) ( 7Q 7P ) T
Eq Condicional X2
( 7P v Q ) ( Q v 7P ) T
Conmutativa
( 7P v Q ) ( 7P v Q ) T
Cambio de variable
( 7P v Q ) A
AA T
Eq Bicondicional
( A A ) ( A A ) T
( 7A v A ) ( 7A v A ) T
T T T
T T
Eq Condicional X2
Complemento
Dominancia
S cumple la
equivalencia
EJERCICIO 10
( P ( Q v R ) ) ( ( P Q ) v ( P R ) )T
Eq Condicional X3
( 7P v ( Q v R ) ) ( ( 7P v Q ) v ( 7 P v
R ) )T
7( 7P v ( Q v R ) ) v ( ( 7P v Q ) v ( 7 P v
R ) )T
7[ (7P v 7P) v ( Q v R ) ] v [ ( 7P v Q ) v (7 P
v R ) ]T
Eq Condicional X1
7[ (7P v Q) v ( 7P v R ) ] v [ ( 7P v Q ) v ( 7P
v R ) ]T
Cambio de variable
((7P v Q) v (7P v
R))A
A v AT
TT
Idempotencia
Asocia() Conmu
Asocia()
Complemento
S cumple la
equivalencia
EJERCICIO 11
( Q P ) v ( 7P Q ) T
( 7Q v P ) v ( 7P Q ) T
Eq Condicional
Distributiva
( 7Q v P v 7P ) ( 7Q v P v Q)
T
Conmutativa /
Asociativa
( 7Q v ( P v 7P) ) ( P v 7(Q v
Q) ) T
( 7Q v T ) ( P v T ) T
Complemento
TTT
TT
Dominancia
Identidad
S cumple la
equivalencia
EJERCICIO 12
Pv(PQ)P
Identidad
(PT)v(PQ)P
Distributiva
P(TQ)P
Dominancia
P TP
Identidad
P P
S cumple la
equivalencia
Obtenga las Formas Normales Principales de la siguiente frmula

proposicional usando Tablas de Verdad y el Mtodo Algebraico.
PQ
P
F
F
T
T
Q
F
T
F
T
PQ
T
T
F
T
PQ( 7P 7Q ) v ( 7P Q ) v ( P Q )
Tabla de Verdad FNDP
De la
Por medio del Mtodo Algebraico

PQ
7P v Q
( 7P T ) v ( Q T )
[ 7P ( Q v 7Q ) ] v [ Q ( P v 7P ) ]
( 7P Q) v ( 7P 7Q ) v ( Q P ) v ( Q
7P )
( 7P Q ) v ( 7P 7Q ) v ( 7P Q ) v ( P
Q)
( 7P 7Q ) v ( 7P Q ) v ( 7P Q ) v ( P
Q)
Eq Condicional
Identidad
Complemento
Distributiva
Distributiva
Conmutativa x2
Idempotencia
( 7P 7Q ) v ( 7P Q ) v ( P Q ) ( 7P 7Q ) v ( 7P Q ) v ( P
Q)
FNDP
PQ ( 7P v Q )
De la Tabla de Verdad FNCP

PQ ( 7P v Q )
FNCP
Eq Condicional

P v ( 7P Q )
P
Q
F
F
F
T
T
F
T
T
F
F
T
T
F
T
T
T
P v (7PQ)
T
F
T
T
F
F
F
F
F
T
F
T
P v ( 7P Q ) ( P v Q )
la Tabla de Verdad FNCP
De

P v ( 7P Q ) ( P v Q )
( P v 7P) ( P v Q ) ( P v Q )
T ( P v Q ) ( P v Q )
( P v Q ) ( P v Q )
P v ( 7P Q )( 7P Q ) v ( P 7Q ) v ( P Q )
Tabla de Verdad FNDP
Distributiva
Complemento
Identidad
FNCP
De la

P v ( 7P Q )
Identidad
( P T ) v ( 7P Q )
Complemento
( P ( Q v 7Q ) ) v ( 7P Q )
Distributiva
( P Q) v ( P 7Q ) v ( 7P Q )
Conmutativa
( 7P Q ) v ( P 7Q ) v ( P Q )
FNDP

( Q P ) ( 7P Q )
P
Q
F
F
T
F
T
F
T
F
T
T
T
T
(QP) (7PQ)
F
T
F
F
T
T
F
F
F
F
F
F
F
T
F
T

( Q P ) ( 7P Q ) ( P v Q ) ( P v 7Q ) ( 7P v Q ) ( 7P v
7Q )

( Q P ) ( 7P Q )
Eq Condicional
( 7Q v P ) ( 7P Q )
Identidad
( 7Q v P ) ( (7P v F ) ( Q v F ) )
Complemento
( 7Q v P ) ( ( 7P v (Q 7Q) ) ( Q v (P
Distributiva
7P) ) )
( 7Q v P ) ( 7P v Q ) ( 7P v 7Q ) ( Q
v P )
( Q v 7P)
Conmutativa
( P v 7Q ) ( 7P v Q ) ( 7P v 7Q ) ( P
vQ)
( 7P v Q )
Idempotencia
( P v Q ) ( P v 7Q ) ( 7P v Q ) ( 7P v
7Q )
FNCP

proposicional usando Tablas de Verdad y el Mtodo Algebraico
( Q P ) v ( 7P Q )
P
Q
F
F
T
F
T
F
T
F
T
T
T
T
(QP) v(7P Q)
T
T
F
T
T
T
T
F
F
T
F
F
F
T
F
T
De la Tabla de Verdad FNDP

( Q P ) v ( 7P
Q)
Q ) ( 7P 7Q ) v ( 7P Q ) v ( P 7Q ) v ( P
( Q P ) v ( 7P Q )
Eq Condicional
( 7Q v P ) v ( 7P Q )
Identidad
( 7P Q ) v (7Q T ) v ( P T )
Complemento
( 7P Q ) v ( 7Q ( P v 7P ) ) v ( P
( Q v 7Q ) )
Distributiva/Conmutat
iva
( 7P Q ) v ( P 7Q ) v ( 7P v 7Q ) v
(PQ)
v ( P v 7Q )
Idempotencia/Conmut
ativa
( 7P 7Q ) v ( 7P Q ) v ( P 7Q ) v ( P
Q)
FNDP

7A B C
7A B
A B C
C
F F F T F F T F
F F T T F F T T
F T F T T T F F
F T T T T T T T
T F F F F F T F
T F T F F F T T
T T F F F T T F
T T T F F T T T
7A BC(Av7BvC)
7A B C
7( 7A B ) v C
( A v 7B v C )( A v 7B v C )

Eq Condicional
DMorgan
FNCP

7A B C ( 7A 7B 7C) v (7A 7B C) v (7A B C ) v ( A
7B 7C) v
( A 7B C ) v (A B 7C ) v ( A B C ).
7ABC
Eq Condicional
7( 7A B ) v C
DMorgan
( A v 7B v C )
Identidad
( A T ) v ( 7B T ) v ( C T )
Complemento
( A ( B v 7B ) ) v ( 7B ( A v 7A ) ) v ( C (
Distributiva
A v 7A ) )
( A B ) v ( A 7B ) v ( 7B A ) v ( 7B 7A )
v ( C A) v
( C 7A )
Identidad
[ ( A B ) T ] v [ ( A 7B ) T ] v [ ( 7B
A)T]v
[ ( 7B 7A ) T ] v [ ( C
Complemento
A ) T ] v [ ( C 7A ) T ]
[ ( A B ) ( C v 7C ) ] v [ (A 7B ) ( C v 7C ) ] v [ ( 7B A ) ( C
v 7C ) ] v [ ( 7B 7A ) ( C v 7C ) ] v [ ( C A ) ( B v 7B )] v [ (C
7A ) ( B v 7B ) ]
Distributiva/Conmutativa
( A B C ) v ( A B 7C ) v ( A 7B C ) v ( A 7B 7C ) v ( A
7B C ) v ( A 7B 7C ) v ( 7A 7B C ) v ( 7A 7B 7C ) v ( A B
C ) v ( A 7B C ) v (7A B C ) v
(7A 7B C )
Idempotencia
( 7A 7B 7C) v ( 7A 7B C) v ( 7A B C ) v ( A 7B 7C) v (A
7B C) v
(A B 7C) v ( A B C )
FNDP

( PQ ) ( QR )
P
Q
R
(PQ)(QR)
F
F
F
T
T
T
F
F
T
T
T
T
F
T
F
T
F
F
F
T
T
T
T
T
T
F
F
F
F
T
T
F
T
F
F
T
T
T
F
T
F
F
T
T
T
T
T
T
( PQ ) ( QR ) ( 7P7Q7R ) v (7P7QR ) v (7PQR ) v ( PQR )
( PQ ) ( QR )
Eq Condicional x2
( 7P v Q ) ( 7Q v R )
Distributiva
[ ( 7P v Q ) 7Q ] [ ( 7P v Q ) R ]
Distributiva
( 7P v 7Q ) v ( Q 7Q ) v ( 7P R ) v ( Q R )
Contradiccin
( 7P v 7Q ) v F v ( 7P R ) v ( Q R )
Identidad
[( 7P v 7Q ) T ] v [( 7P R ) T ] v [( Q R
Complemento
) T]
[( 7P v 7Q ) ( R v 7R ) ]v [ ( 7P R ) ( Q v
7Q ) ] v
[( Q R ) ( P v 7P )]
( 7P7QR ) v ( 7P7Q7R ) v ( 7PQR ) v ( 7P7QR ) v ( PQR ) v (
7PQR )
Distributiva
( 7P7QR ) v ( 7P7Q7R ) v ( 7PQR ) v ( 7P7QR ) v ( PQR ) v
( 7PQR )
Idempotencia
( 7P7Q7R ) v (7P7QR ) v ( 7PQR ) v ( PQR )
FNDP
( PQ ) ( QR )( P v 7Q v R ) ( 7P v Q v R ) ( 7P v Q v 7R ) ( 7P v
7Q v R )
(
(
[
[
]
(

( QR )
Eq Condicional x2
( 7Q v R )
Identidad
) v F ] [ ( 7Q v R ) v F ]
Complemento
) v ( R 7R )] [ ( 7Q v R ( P 7P )) v
PQ )
7P v Q )
( 7P v Q
( 7P v Q
7P v Q v R ) ( 7P v Q v 7R ) ( P v 7Q v R ) ( 7P v 7Q v R )
Distributiva
FNCP
( P v 7Q v R ) ( 7P v Q v R ) ( 7P v Q v 7R ) ( 7P v 7Q v R )
( 7PR ) ( QP )
( 7P R ) ( Q
P Q R
P)
F F F T F F F
T
F F T T T T T
T
F T F T F F F
F
F T T T T T F
F
T F F F T F F
F
T F T F T T F
F
T T F F T F T
T
T T T F T T T
T
( 7PR ) ( QP ) ( 7P 7Q R ) v ( P Q 7R ) v ( P Q R )
( 7PR ) ( QP )
Eq Bicondicional
( 7PR ) ( QP ) ( PQ )
Eq Condicional
x3
( P v R ) ( 7Q v P ) ( 7P v Q )
Conmutativa
( P v R ) ( P v 7Q ) ( 7P v Q )
Distributiva
[ P v ( R 7Q ) ] ( 7P v Q )
Distributiva
[ P v ( R 7Q ) 7P ] v [ P v ( R 7Q ) Q ]
Distributiva
( P 7P ) v ( 7P 7Q R ) v ( P Q ) v ( R 7Q
Complemento
Q)
( F ) v ( 7P 7Q R ) v ( P Q ) v ( R T )
Dominancia
( F ) v ( 7P 7Q R ) v ( P Q ) v F
Identidad
( 7P 7Q R ) v ( P Q T )
Complemento
( 7P 7Q R ) v ( P Q ( R v 7R ) )
Distributiva
( 7P 7Q R ) v ( P Q 7R ) v ( P Q R )
FNDP
( 7PR ) ( QP ) ( P v Q v R) ( P v 7Q v R ) ( P v 7Q v 7R ) ( 7P v
Q v R ) ( 7P v Q v 7R )
( 7PR ) ( QP )
Eq Bicondicional
( 7PR ) ( QP ) ( PQ )
Eq Condicional
x3
( P v R ) ( 7Q v P ) ( 7P v Q )
Conmutativa
( P v R ) ( P v 7Q ) ( 7P v Q )
Identidad
[ ( P v R ) v F ] [ ( P v 7Q ) v F ] [ ( 7P v Q ) v F
]
[ ( P v R ) v ( Q 7Q ) ] ^ [ ( P v 7Q ) v ( R 7R ) ] ^ [ (7P v Q ) v ( R 7R )
]
Complemento
( P Q R ) v ( P 7Q R ) v ( P 7Q R ) v ( P 7Q 7R ) v ( 7P Q
R ) v ( 7P Q 7R )
Distributiva
( P Q R ) v ( P 7Q R ) v ( P 7Q R ) v ( P 7Q 7R ) v ( 7P Q
R ) v ( 7P Q 7R )
Idempotencia
( P v Q v R ) ( P v 7Q v R ) ( P v 7Q v 7R ) ( 7P v Q v R ) ( 7P v Q v
7R )
FNCP
Resuelva las siguientes Implicaciones Tautolgicas por medio de

Tablas de Verdad
1.-P Q P
P
F
F
T
T
Q
F
T
F
T
P Q P
T
T
T
T
F
F
F
T
F
F
T
T
S es una Implicacin Tautolgica

2.-P P v Q
P
F
F
T
T
F
T
F
T
T
T
T
T
P v Q
F
T
T
T

3.-7 P P Q
P
F
F
T
T
Q
F
T
F
T
7PPQ
T
T
F
F
T
T
T
T
T
T
F
T
P
F
F
T
T
Q
F
T
F
T
7(P
F
F
T
F
T
T
F
T
Q )
T
T
T
T
P
F
F
T
T

4.- Q P Q
P
F
F
T
T
Q
F
T
F
T
Q
F
T
F
T

5.- 7 ( PQ )P
T
T
T
T
PQ
T
T
F
T
PP
F
F
F
FF
T
T
T
TF
Q Q
FF
F
T
TT
T
F T
FF
F
F
T
TT
T
F
7P
P
P 7 (
P
Q (( PP
v
QQQ
P) )
FFF
T FT
T
FFT
T TT
FFF
F TT
T
F
TTF
T TT
Q
Q7Q
Q
TT F
TTT F
TT F
T
TT T
F
F
T
T
T
F
F
F
T
T
6.- 7 ( PQ ) 7Q
S es una Implicacin Tautolgica.
7.- P , Q P Q
8.- 7 P, P v Q Q
9.- P, ( PQ ) Q
P
F
F
T
T
Q
F
T
F
T
7Q
( P Q )
7P
T
T
T
T
F
F
T
T
T
F
F
T
F
F
T
T
10. 7 Q, (PQ) 7 P
T
T
F
F
11.- ( P Q ), ( Q R ) ( P R )
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
(P Q)
T
T
T
T
F
F
T
T
T
F
T
F
F
F
T
(Q R)
(P R)
T
F
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
F
T
F
T
12.- ( P v Q ), ( PQ ), ( QR ) R
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
(P v Q)
F
F
T
T
T
T
T
T
F
F
T
T
F
T
F
T
(P Q)
R
T
F
T
F
T
F
T
T
F
F
T
T
F
F
T
T
(QR)
T
T
F
T
T
T
F
T
T
T
T
T
T
T
T
T
F
T
F
T
F
T
F
T
Demuestre la validez del siguiente razonamiento. Use el mtodo de

Derivacin Paso a Paso:
( A v B )( R S ) A R
H1: ( A v B ) ( R S )
H2: A
-------------------------------------------C: R
#PASO
1
2
REGLA
P, H2
T, 1, I3
P PvQ
A AvB
P, H1
T, 2, 3, I11
P,
P Q
Q
(A v B), ( A v B )( R S ) (
RS)
T, 4, I1
P Q P
RSR
FRMULA
A
AvB
( A v B )( R S )
(RS)
R
Por lo tanto el
razonamiento es
vlido.
Encuentre la notacin simblica del siguiente razonamiento:

Si Paula estudia Estructuras Discretas entonces aprueba el examen. Si
aprueba el examen entonces no repite el curso. Repite el curso. Paula
estudia Estructuras Discretas o, Javier se va de vacaciones y Silvia se
compra un auto. Por lo tanto Javier se va de vacaciones y Silvia se compra
un auto.
Localizamos las Atmicas:

A: Paula estudia Estructuras
Discretas.
B: Aprueba el examen.
C: Repite el curso.
D: Javier se va de vacaciones.
E: Silvia se compra un auto.
Notacin Simblica:
H1 : AB
H2 : B 7C
H3 : C
H4 : A v (D E)
C: (D E)
Resuelva el problema anterior por el Mtodo de Derivacin Paso a

Paso
#PASO
1
2
3
4
5
REGLA
FRMULA
AB
B7C
P, H1
P, H2
T, 1, 2, I13
PQ,
QR
AB
B7C
P, H3
T, 3, 4, I12
7Q, P Q
C, AC
P, H4
T, 5, 6, I10
7P,
PvQ
7A, A v (D E)
PR
A7C
A7C
C
7P
7A
7A
A v (D E)
Q
(D E)
(D E)
Por lo tanto S es un
razonamiento vlido.
Encuentre la notacin simblica del siguiente razonamiento:

Si Carlos estudia entonces aprueba el examen y si acredita el
semestre entonces le compran un auto. Por lo tanto, si Carlos estudia o
acredita el semestre entonces aprueba el examen o le compran un auto.
Localizamos las Atmicas:
Notacin Simblica:
A: Carlos estudia.
B: Aprueba el examen.
C: Acredita el semestre.
D: Le compran un auto.
H1 : ( AB ) ( CD )
C:
(AvC)(BvD)
Resuelva el problema anterior por el Mtodo de Derivacin Paso a

Paso
#PAS
O
1
2
REGLA
FRMULA
P, H1
( AB ) ( CD )
T, 1, Eq.
( AB ) ( CD )
Eq.
Condicional X2
( 7A v B ) (7 C v D )
T, 2, I3
P
P
v
Q
(7A v B )(7 C v D) [ (7A v B )(7 C v D) ] v
(B v D)
T, 3, Eq.
[ (7A v B ) ( 7C v D) ] v (B v D)
Distributiva
[( 7A v B ) v ( B v D ) ] [ ( 7 C v D ) ] v ( B v
D )]
T, 4, Eq.
Idempotencia
T, 5, Eq.
Distributiva
T, 6, Eq.
Negacin
T, 6, Eq.
7( A v C ) v ( B v D )
Morgan
( A C ) v ( B v D )
Condicional
( 7A v B ) ( 7C v D )
[ (7A v B ) ( 7C v D) ] v
(B v D)
[( 7A v B )v( B v D) ] [ (
7C v D) ]v (B v D)]
[ 7A v (B v D) ] [ 7C v (B
v D)]
( 7A 7C ) v ( B v D)
7( 7A 7C ) v ( B v D )
D
Eq.
( A C ) v ( B v D )
Por lo tanto S es un
razonamiento vlido.
Demuestre la siguiente implicacin tautolgica:

H1 : AB
H2 : C v S
H3 : S 7B
H4 : 7C
C: 7A
#PASO
REGLA
FRMULA
P, H4
7C
P, H2
CvS
T, 1, 2, I10
7P, P v Q Q
7C, C v S S
P, H3
T, 3, 4, I11
P, P Q Q
S, S 7B 7B
P, H1
T, 5, 6, I12
7 Q, P v Q 7 P
7 B, AB
7A
S
S 7B
7B
AB
7A
S es una Implicacin
Tautolgica.
Determine si el siguiente argumento es consistente lgicamente.

H1: ABC
H2 : ( 7A v C ) D
H3 : A B
C : 7 D C
#PASO
1
2
3
4
5
7
8
9
10
11
12
13
REGLA
P,H3
P,H1
T, 2, Eq.
7(AB)vC
Eq. Condicional
7Av7BvC
DMorgan
7Bv7AvC
Conmutativa
T, 3, Eq.
Eq. Condicional
T, 1, 4, I13
PQ,
QR
PR
AB, B( 7A v C ) A( 7A v C )
T, 5 Eq.
A7A v C
Eq. Condicional
7A v 7A v C
Idempotencia
7A v C v C
Conmutativa
C v 7A
T, 6, Eq.
Eq. Condicional
P, H2
T, 8, Eq
( 7A v C )D
Eq. Condicional
AvCvD
Asociativa
Av(CvD)
T, 9, Eq.
Eq. Condicional
T, 7, 10, I13
PQ,
QR
PR
7C7A, 7A( C v D)
7C( C v D)
T, 11, Eq.
7C( C v D)
Eq. Condicional
CvCvD
Idempotencia
CvD
7C D
Eq. Condicional
T, 11, Eq.
Eq. Contrapositiva
FRMULA
AB
ABC
7B v 7A v C
B( 7A v C)
A7A v C
C v 7A
7C7A
(A v C)D
A v (C v D)
A( C v D)
7C( C v D)
7C D
7D C
Por lo tanto el
argumento S es
lgicamente
consistente.
Prueba Automtica de Teoremas, PAT.

Es un mtodo que permite demostrar la validez de los
razonamientos. Consiste en encontrar Axiomas.
Para lograrlo:
Se deben eliminar todos los conectivos que aparecen en las
expresiones.
Para que el razonamiento sea vlido, todas, si todas las
expresiones libres de conectivos deben ser axiomas.
Para que esa expresin libre de conectivos sea un axioma
debe tener al menos una atmica en comn, tanto en el
antecedente como en el consecuente.
Si encontramos una expresin libre de conectivos que no sea
axioma, en ese momento se detiene el mtodo y se concluye que
el razonamiento no es vlido.
Demuestre la validez del siguiente razonamiento. Use el Mtodo

de Prueba Automtica de Teoremas (PAT).
H1: ( P v Q )( R S )
H2: P
C: R
[(PvQ)(RS)]PR
[(PvQ)(RS)
P]R
X
Y
[(PvQ)(RS)]PR
[(PvQ)(RS)]
X
,PR
( P ), ( R S ) ( R )
( P ), ( R ), ( S ) ( R )
A1
( P ) ( P v Q ), ( R )
( P ) ( P ), ( Q ), ( R )
A2
Como todas las expresiones libres de conectivos son axiomas,

entonces
el razonamiento es valido
Demuestre la validez del siguiente razonamiento. Use el Mtodo de

Prueba Automtica de Teoremas (PAT).
H1: A B
H2: C v S
H3: S 7B
H4: 7C
C: 7A
( A B )( C v S )( S 7B )7C 7A
[ ( A B )( C v S )( S 7B )7C ] 7A
X
Y
( A B )( C v S )( S 7B )7C 7A
( A B ), ( C v S ), ( S 7B ), 7C 7A
X Y
v (C), ( A B ), ( S 7B ),
v (S), ( A B ), ( S 7B ),
7C7A
7C7A
X
Y
X
Y
(C), ( B ), ( S 7B ),( 7C)7A (S), ( B ), ( S 7B ),( 7C)7A
X
Y
X
Y
7 (C), ( B ), ( 7B ),(7C)(7A)
7 (S), ( B ), ( 7B ),(7C)(7A)
7 (C), ( B ) (7A), (B),(C)
7 (S), ( B ) (7A), (B),(C)
(A), (B), (C) (B), (C)
(A), (B), (S) (B), (C)
A1
7
7
7
7
(C), ( B ),(7C)(7A), (S)

(C), ( B ) (7A), (S), (C)
(A), ( B ), (C) (C), (S)
A5
7
7
(S), ( B ),(7C)(7A), (S)

(S), ( B ) (7A), (S), (C)
(A), ( B ), (S) (C), (S)
A2
A6
(C), ( S 7B ),(7C)(7A),
(A)
X
Y
(C), ( 7B ),(7C)(7A), (A)
(C), (7A), (A), (B), (C)
(A), (C) (A), (B), (C)
(S), ( S 7B ),(7C)(7A),
(A)
X
Y
(S), ( 7B ),(7C)(7A), (A)
(S), (7A), (A), (B), (C)
(A), (S) (A), (B), (C)
7
7
A3
A7
(C), (7C)(7A), (A), (S)
(S), (7C)(7A), (A), (S)
7
7
(C) (7A), (A), (S). (C)

(A), (C) (A), (S). (C)
7
7
A4
(S) (7A), (A), (S). (C)

(A), (S) (A), (C), (S)
A8

entonces el razonamiento es valido
Resuelva la Implicacin Tautolgica I7 por medio del Mtodo de

7 ( PQ ) P
7( PQ ) P
X
Y
7( PQ ) P
( P ), ( PQ )
X Y
( P ) ( P ), ( Q )
A1
Como la expresin resultante esta libre de conectivos y es un

axioma, podemos confirmar que I7 es una Implicacin Tautolgica
(que hecho ya lo sabamos).

7 ( P Q ) 7Q
7
7
7 ( P Q ) 7Q
X
7( P Q ) 7Q
( 7Q ), ( P Q )
( Q ) ( P Q )
X
Y
( P ), ( Q ) ( Q )
A1
Como la expresin resultante esta libre de conectivos y es un
axioma, podemos confirmar que I8 es una Implicacin Tautolgica

(que hecho ya lo sabamos).

P, Q P Q
P Q P Q
P Q PQ
X
Y
P Q PQ
( P ), ( Q ) PQ
X Y
( P ), ( Q ) ( P )
( P ), ( Q ) ( Q )
A1
A2

entonces I9 S es una Implicacin Tautolgica (que hecho ya lo
sabamos).

7P, P v Q Q
7P( P v Q ) Q
7P( P v Q ) Q
X
7P( P v Q ) Q

7
v
7P, ( P v Q ) Q
( P v Q ) ( P ), ( Q )
X
Y
( P ) ( P ), ( Q )
A1
( Q ) ( P ), ( Q )
A2

entonces I10 S es una Implicacin Tautolgica (que hecho ya lo
sabamos).

P, P Q Q
P(PQ)Q
P( P Q ) Q
X
P(PQ)Q
( P), ( P Q ) Q
X
Y
( P ), ( Q ) ( Q )
A1
( P ) ( P ), ( Q )
A2

entonces I11 S es una Implicacin Tautolgica.

7Q, P Q 7P
7Q P Q 7P
[ 7Q P Q ] 7P
X
7Q P Q 7P
7Q, P Q 7P
X
Y

7
7
( 7Q ), ( Q ) ( 7P )
( Q ) ( 7P ), ( Q )
( P ), ( Q ) ( Q )
A1
7
7
( 7Q ) ( 7P ), ( P )
( 7P ), ( P ), ( Q )
( P ) ( P ), ( Q )
A2


PQ,QRPR
( P Q )( Q R ) ( P R )
[ ( P Q )( Q R ) ] ( P R )
X
Y
( P Q )( Q R ) ( P R )
( P Q ), ( Q R ) ( P R )
X
Y
( P ), ( P Q ), ( Q R ) ( R )
X
Y
( P ), ( Q ), ( Q R ) (
( P ), ( Q R ) ( R ) ( P )
R)
( P ), ( Q ), ( Q R ) (
( P ), ( Q R ) ( R ) ( P )
R)
X
Y
X
Y
( P ), ( Q ), ( R ) ( R )
( P ), ( R ) ( P ), ( R )
A1
A3
( P ), ( Q ) ( Q), ( R )
( P ) ( P ), ( Q ), ( R )
A2
A4


P v Q , P R, Q R R
( P v Q ) ( P R ) ( Q R ) R
[ ( P v Q ) ( P R )
(QR)]R
X
Y
(PvQ)(PR)(QR
( P v Q ), ( P R ), ( Q
X
Y
( P ), ( P R ), ( Q R ) R
X
Y
( P ), ( R ), ( Q R ) R
X
Y
( P ), ( R ), ( R ) ( R )
) R
R ) R
v
( Q ), ( P R ), ( Q R )
R
( Q ), ( R ), ( Q R ) R
X
Y
( Q ), ( R ), ( R ) ( R )
A1
A5
( P ), ( R ) ( Q ), ( R )
( Q ), ( R ) ( Q ), ( R )
A2
A6
( P ), ( Q R ) ( P ), ( R )
X
Y
( P ), ( R ) ( P ), ( R )
( Q ), ( Q R ) ( P ), ( R )
X
Y
( Q ), ( R ) ( P ), ( R )
A3
A7
( P ) ( P ), ( Q ), ( R )
( Q ) ( P ), ( Q ), ( R )
A4
A8


( P Q )( Q P ) ( P Q)
[ ( P Q )( Q P ) ] ( P Q)
X
Y
( P Q )( Q P ) ( P Q)
( P Q ), ( Q P ) ( P Q)
X
( P ), ( P Q ), ( Q P ) ( Q)
X
Y
( P ), ( Q ), ( Q P ) ( Q)
X
Y
( P ), ( P ), ( Q ) ( Q)
( P ), ( Q P ) ( P), ( Q)
X
Y
( P ), ( P ) ( P), ( Q)
A1
A3
( P ), ( Q ) ( Q) ( Q )
( P ) ( P), ( Q) ( Q )
A2
A4

entonces el razonamiento es valido

( PQ )7P Q
( PQ )7P Q
X
( PQ )7P Q
( PQ ), 7P Q
X
Y
( Q ), ( 7P ) Q
(7P) ( P ), ( Q )
( Q ) ( P ), ( Q )
( P ), ( P ), ( Q )
Las expresiones 1 y 2 estn libres de conectivos pero NO son

axiomas, por lo tanto Razonamiento NO es valido.
EXPRESIN
:
A+B*C
A+B*C
A + B *C
OBSERVACIN:
RESULTADO:
Notacin infija (Oper / Op / Oper).

Se realizar primero el de mayor
jerarqua.
Por lo que la suma se realiza al final.
BC*
Notacin Posfija (Oper / Oper / Op).
ABC*+
ABC*+
Recuerde:
Notacin infija:
Notacin posfija:
Operando1 Operador
Operando1 Operando2
Operando2
Operador
Relacionando lo que ya sabemos:
Operador es lo mismo que conectivo.

Operando es la Proposicin (Atmica).
Importante:
1.-Cada atmica conserva su posicin original, sin importar el tipo
de notacin que es trate.
2.-Si la notacin infija tiene parntesis, la notacin prefija y posfija
elimina los parntesis.
EXPRESIN:
[ (A + B * C )
^D ]/R
[ (A + B * C )
^D ]/R
[ (A + B * C )
^D ]/R
[ (A + B * C )
^D ]/R
OBSERVACIN:
RESULTADO:
Notacin sufija (Oper / Op /

Oper).
Se realizara el parntesis ms
interno que corresponde a el
ejercicio anterior
Se realizara el parntesis ms
externo
ABC*+
Por ultimo se realiza la divisin
A B C * +D^R/
Notacin Posfija (Oper / Oper /

Op).
ABC*
+D^R/
A B C * +D^
Recuerde:
La jerarqua de los conectivos es muy importante. La

negacin es la de mayor jerarqua. Entonces la jerarqua
queda de la siguiente manera:
7, , v , ,
Por claridad, se recomienda escribir la notacin infija
parenterizada.
Las notaciones prefija y posfija no contienen parntesis.
Notacin Infija a Notacin Posfija
AB+C3AB5^*B/1*+
RC9^*RA^57*/A^+
QZPA*B^/4C*
578/9*5+86/2*943^12+36**++
75/6*18+315^++4
884*7/34^42/3*1^2*+35*71+3^/1
35*242^87*/+835*^+
48/553+*32^14*+^
Clasificacin de los Grafos:
Grafo Simple
Multgrafo
Por tener :
Arcos Paralelos
Ciclo Loop.
Grafo Dirigido
Es aquel que tiene
Arcos Dirigidos
Grafos con Peso.
Recorrido en Grafos:
Trayectoria de V1 a V2
Trayectoria de V1 a V3
Camino Cerrado
Punto de inicio V
Punto de llegada V
Circuito
Inicio en V0 y termino en V0
Dado el siguiente Grafo encuentra su Matriz de Adyacencia.

Matriz de Adyacencia.
V1
V2
V3
V1
0
1
1
V2
1
0
0
V3
1
0
0

V1
V2
V3
V1
0
0
0
V2
1
0
0
V3
1
0
0
V1
V2
V3
V1
1
1
1
V2
1
0
0
V3
1
0
0

V1
V2
V3
V1
1
0
1
V2
1
0
0
V3
1
0
0
Dado el siguiente Grafo encuentra su Matriz de Incidencia.

Matriz de Incidencia.
V1
V2
V3
Dado el siguiente Grafo encuentra su:
a1
0
0
0
a2
-1
0
1
a3
1
0
-1
a4
-1
1
0
Clasificacin.
Multgrafo
Por tener :
Arcos Paralelos (1).
Ciclo Loop (1).
Circuito (2)
Trayectoria de V6 a V7.
V
2
V
3
V
4
V
5
V
6
V
7
V
1
a1
1
1
1
0
1
1
1
1
1
0
V
3
V
4
1
0
V
6
Dado
el siguiente Grafo encuentra su:

Matriz de Circuito.
1
2
3
4
5
6
1
0
1
0
1
0
0
2
0
0
0
0
0
0
3
1
1
1
0
0
0
4
0
0
0
0
1
0
5
0
0
0
1
0
0
6
0
0
1
1
0
0
a
1
-1
0
0
0
0
1
2
3
4
5
6
Cto1
Cto2
b
1
0
0
-1
0
0
c
0
-1
1
0
0
0
d
0
0
0
0
0
0
e
0
0
0
-1
1
0
f
0
0
0
1
-1
0
g
0
0
0
-1
0
1
h
0
0
-1
0
0
1
i
-1
0
1
0
0
0
Matriz de Circuito.
a
0
0
b
0
0
c
0
0
d
0
1
e
1
0
f
1
0
g
0
0
h
0
0
i
0
0

Estructuras Discretas

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Estructuras Discretas

Uploaded by

Copyright:

Available Formats

Proposicin Lgica:

Es un enunciado declarativo, que admite la posibilidad de ser

El sol es una estrella.

Cunto cuesta el reloj?

El pizarrn esta muy

La Coca es una empresa

Las flores son plantas.

Mara juega basquetbol.

Carlos no tiene dinero.

Cuidado con el perro!

Lety estudia Estructuras

Cancn tiene playas

Todo quedo claro?

Parece que fue ayer!

Obtenga la Tabla de Verdad de las siguientes formulas proposicionales.

Obtenga la Tabla de Verdad de las siguientes formulas proposicionales.

Obtenga la Tabla de Verdad de las siguientes formulas proposicionales.

Determine la notacin simblica de las proposiciones que

1.-Arturo juega ftbol

Proposicin Simple o Atmica.

3.- Si Daniela aprueba el examen entonces se va a Espaa de paseo.

, mantengo un peso adecuado.

E: Como alimentos chatarra.

6.- La mesa es de caoba o la silla es tubular.

7.- Si Lucy come fruta entonces Lucy se mantiene delgada.

Del la Lgica Proposicional a el Algebra

NOTA: La Salida se encuentra en Color Rojo.

CIRCUITO DE DOS ESTADOS:

Dado el siguiente Mapa de Karnaugh obtener:

La Salida se obtuvo directamente

S = ( A' * B' * C ) + ( A' * B * C' ) + ( A * B * C ) + ( A * B' * C' ).

Dado el siguiente Mapa de Karnaugh obtener:

La Salida se obtuvo directamente

Dado el siguiente Mapa de Karnaugh de encuentra la Funcion de

La funcin de simplificada es:

S = ( A' * B' * C * E ) + ( C' * E' * B' ) + ( C' * F * B' ) + ( C * D' * E * F' ) +

Dado el siguiente Mapa de Karnaugh encuentra la Funcion de Salida

La funcin de simplificada es:

S = ( B * D * E' ) + ( A' * B * E' ) + ( B' * C' * E' ) +( A' * D' * E' * F ) +

Implemente un circuito de dos estados que indique si un nmero es

S = ( A' * D ) + ( A' * B' * C ) + ( B * C' * D ) + ( B' * C * D ).

CIRCUITO DE DOS ESTADOS:

Resuelva las siguientes Equivalencias por Propiedades Algebraicas:

(PQ) v (P7Q) v (7PQ)(PQ) v (P7Q) v (7PQ)

Obtenga las Formas Normales Principales de la siguiente frmula

Por medio del Mtodo Algebraico

De la Tabla de Verdad FNCP

Por medio del Mtodo Algebraico

Obtenga las Formas Normales Principales de la siguiente frmula

Por medio del Mtodo Algebraico

Por medio del Mtodo Algebraico

Obtenga las Formas Normales Principales de la siguiente frmula

De la Tabla de Verdad FNCP

Por medio del Mtodo Algebraico

Obtenga las Formas Normales Principales de la siguiente frmula

De la Tabla de Verdad FNDP

Por medio del Mtodo Algebraico

Obtenga las Formas Normales Principales de la siguiente frmula

Por medio del Mtodo Algebraico

De la Tabla de Verdad FNDP

Obtenga las Formas Normales Principales de la siguiente frmula

Por medio del Mtodo Algebraico

Resuelva las siguientes Implicaciones Tautolgicas por medio de