Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Indicaciones: Lea detenidamente cada problema y trabaje de forma aseada y ordenada lo que se
le pide a continuación.
Parte 1:
1- Con sus propias palabras defina que es una Tautología, Contingencia y una Contradicción. Según
lo visto en las clases.
Tautología: Es una proposición compuesta de combinaciones de valores de verdad de las
proposiciones simples en las que siempre dará verdadero.
Contradicción: Es una proposición compuesta en la que siempre como valor de verdad dará
Falso.
p q pVq
F F F
F V V
V F V
V V V
p q p∧
q
F F F
F V F
V F F
V V V
p q p -> q
F F V
F V V
V F F
V V V
p q p <-> q
F F V
F V F
V F F
V V V
3- Por medio de tablas de verdad comprobar si las siguientes expresiones son lógicamente
equivalentes.
p ∧( p ∨ q)
P, q
( p ∨q) ,
p ∧( p ∨ q)
p q (p v q) p ∧( p ∨ q)
F F F F
F V V F
V F V V
V V V V
p ∨( p ∧ q)
P,q
(p ∧ q)
p ∨( p ∧ q)
p q (p ∧ p ∨( p ∧ q)
q)
F F F F
F V F F
V F F V
V V V V
Podemos decir que estas proposiciones son lógicamente equivalentes.
4- Construir la tabla de verdad de la siguiente proposición e indicar si es una tautología,
contingencia o contradicción.
( p ∧ q)∧( p ∨ q)
P,q
P, q
( p∧ q)
( p ∨ q)
( p ∧ q)∧( p ∨ q)
P Q q ( p ∧ q) ( p ∨ q) ( p ∧ q)∧( p ∨ q)
P
F F V V V V V
F V V F F V F
V F F V F V F
V V F F F F F
Con esto podemos decir que esta proposición es una contingencia.
Parte 2:
X 1 ∧¿
Z1
( X 1 ∨ X 2 ) ∨( X 3 ∧ X 1)
Z2
7- Compruebe si las siguientes expresiones booleanas son iguales.
( X 1 ∧ X 2)∨ X 3
X1 X2 X3 X1 X2 ( X 1 ∧ X 2) ( X 1 ∧ X 2) ∨ X 3
1 1 1 0 0 0 1
1 1 0 0 0 0 0
1 0 1 0 1 0 1
1 0 0 0 1 0 0
0 1 1 1 0 0 1
0 1 0 1 0 0 0
0 0 1 1 1 1 1
0 0 0 1 1 1 0
( X 1 ∨ X 2)∨ X 3
X1 X2 X3 X1 X2 (X 1 ∨ X 2) ( X 1 ∨ X 2) ∨ X 3
1 1 1 0 0 0 1
1 1 0 0 0 0 0
1 0 1 0 1 1 1
1 0 0 0 1 1 1
0 1 1 1 0 1 1
0 1 0 1 0 1 1
0 0 1 1 1 1 1
0 0 0 1 1 1 1
Con esto podemos decir que no son expresiones booleanas iguales.
8- Compruebe si los siguientes circuitos booleanos son equivalentes.
( X 1∧ X2)∨ X 3
X1 X2 X3 X1 X2 X3 ( X1∧ X2) ( X1∧ X2)∨ X3
1 1 1 0 0 0 0 0
1 1 0 0 0 1 0 0
1 0 1 0 1 0 0 0
1 0 0 0 1 1 0 0
0 1 1 1 0 0 0 0
0 1 0 1 0 1 0 0
0 0 1 1 1 0 1 1
0 0 0 1 1 1 1 1
1 1 1 0 0 0 1
1 1 0 0 0 0 0
1 0 1 0 1 0 1
1 0 0 0 1 0 0
0 1 1 1 0 0 1
0 1 0 1 0 0 0
0 0 1 1 1 1 1
0 0 0 1 1 1 1
Con esto podemos decir que las expresiones booleanas no son equivalentes.