Programa de Matemática

Matemática Aplicada MAT204

Guía N°4: Lógica Proposicional (Segunda Parte)

“Tablas de Verdad y álgebra de proposiciones”
Aprendizaje esperado Indicador de Logro
Modelar situaciones propias Determina los valores de verdad de una proposición compuesta
de la informática utilizando mediante tablas de verdad.
la sintaxis de la teoría de
conjuntos y la lógica
proposicional.

Página 1 de 20
 Programa de Matemática
Matemática Aplicada MAT204

Al completar las tablas de verdad nos encontramos con 3 posibles casos:

 Tautología: Son aquellas proposiciones compuestas, cuyos resultados en la

última columna de la tabla de verdad son todos verdaderos.
 Contradicción: Son aquellas proposiciones compuestas, cuyos resultados
en la última columna de la tabla de verdad son todos falsos.
 Contingencia: Son aquellas proposiciones compuestas, cuyos resultados
en la última columna de la tabla de verdad no son todos equivalentes.

Página 2 de 20
 Programa de Matemática
Matemática Aplicada MAT204

1. Para cada expresión elabore una tabla de verdad, e indique si se trata de una tautología,
contradicción o contingencia (según los resultados que obtenga).

a) (p  q)  (p  q)

b) (p  q)  (p  q)

Página 3 de 20
 Programa de Matemática
Matemática Aplicada MAT204

c) (p  q)  (q  p)

d) [(p  q)  p]  q

Página 4 de 20
 Programa de Matemática
Matemática Aplicada MAT204

2. Elabore la tabla de verdad para cada una de las siguientes proposiciones compuestas:
NOTA: En la última columna, F representa la expresión de la proposición compuesta.
Además, no olvidar que el operador  tiene prioridad sobre el operador .
Indique los valores de las proposiciones simples, para que la proposición
compuesta F sea verdadera.

a) (p  q)  (p  q)

(1) (2)
p q F = (1)  (2)
(p  q) (p  q)

0 0

0 1

1 0

1 1

b) (p  q)  (q  p)

p q F

Página 5 de 20
 Programa de Matemática
Matemática Aplicada MAT204

c) (p  q  p)  (p  q)

p q F

d) [ (p  q)  r]  [p  r  q]

(1) (2) (3) (4) (5) (6) (7)

p q r F = [3]  [7]
pq (p  q) [(2)  r] p r r  q [(4)  (6)]

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

Página 6 de 20
 Programa de Matemática
Matemática Aplicada MAT204

e) (p  r)   [(q  r  p)  r]

p q r F

Página 7 de 20
 Programa de Matemática
Matemática Aplicada MAT204

Página 8 de 20
 Programa de Matemática
Matemática Aplicada MAT204

Recordar las leyes antes vistas:

Primera Ley de De Morgan (Complemento de la ) Segunda Ley de De Morgan (Complemento de la )

(A ∪ B)c = Ac ∩ Bc (A ∩ B)c = Ac ∪ Bc

3. Para cada circuito:

i. Identifique las compuertas lógicas.
ii. Obtenga la expresión booleana F.
iii. Determine el valor de la expresión booleana, con las señales de entrada de los sensores.

a) Señales de los sensores:

A=0 B=1 C=0

F=?

b) Señales de los sensores:

A=1 B=1 C=0

F=?

Página 9 de 20
 Programa de Matemática
Matemática Aplicada MAT204

c) Señales de los sensores:

A=1 B=1 C=0 D=0

F=?

4. Para cada expresión booleana:

i. Construya el circuito asociado.
ii. Determine las señales de los sensores para que la expresión booleana sea verdadera.

a) 𝐹 = 𝐴′ 𝐶 ′ + 𝐵𝐶.

Página 10 de 20
 Programa de Matemática
Matemática Aplicada MAT204

b) 𝐹 = 𝐴′ 𝐵 + 𝐴𝐵′𝐶.

c) 𝐹 = 𝐴𝐶 ′ + 𝐵𝐶 + 𝐴𝐵.

Página 11 de 20
 Programa de Matemática
Matemática Aplicada MAT204

d) 𝐹 = (𝐴 + 𝐵)′ + (𝐵′ 𝐶)′

e) 𝐹 = 𝐴𝐵′ + (𝐵𝐶′)′

Página 12 de 20
 Programa de Matemática
Matemática Aplicada MAT204

Existe un procedimiento conocido

como MINTERM (o mini término), el
cual permite obtener la expresión o
función booleana a través de analizar
una tabla de verdad.

Este método consiste en fijar nuestra

atención en aquellos resultados donde
la función f adquiere valores “1”. En
esas combinaciones, se multiplican
todas las variables con el operador
AND y aquellas variables que tengan
“0” deben ser negadas para que la
multiplicación dé como resultado “1”.
Finalmente, estas multiplicaciones se
expresan como términos que se
suman con el operador OR (+).

5. Utilizando el procedimiento de MINTERM, obtenga la expresión booleana a partir de las tablas de

verdad y luego construya el circuito asociado.

a) F =
A B F

0 0 0

0 1 1

1 0 1

1 1 0

Página 13 de 20
 Programa de Matemática
Matemática Aplicada MAT204

b) F =
A B F

0 0 1

0 1 0

1 0 1

1 1 1

c) F =
A B F

0 0 0

0 1 1

1 0 1

1 1 1

d) F =
A B C F

0 0 0 1

0 0 1 0

0 1 0 0

0 1 1 1

1 0 0 0

1 0 1 1

1 1 0 0

1 1 1 0

Página 14 de 20
 Programa de Matemática
Matemática Aplicada MAT204

e) F =
A B C F

0 0 0 0

0 0 1 1

0 1 0 0

0 1 1 0

1 0 0 0

1 0 1 1

1 1 0 0

1 1 1 1

6. Interprete usando lenguaje natural. Además, modele utilizando teoría de conjuntos,

acompañando con un diagrama de Venn.
EJEMPLO: Considere:
p: Un día “x” de esta semana llueve.
q: Un día “x” de esta semana está nublado.
A = {x/x es un día de esta semana que presenta lluvia}
B = {x/x es un día de esta semana que está nublado}
Proposición: 𝑝 ∨ 𝑞

SITUACIÓN: “Según el pronóstico para esta semana, para cualquiera de estos días
llueve o está nublado”
CONJUNTO: AUB

Página 15 de 20
 Programa de Matemática
Matemática Aplicada MAT204

a) Considere:
q: Una persona “x” es hincha del futbol.
B = {x/x es hincha del fútbol}
Proposición: ∼ 𝑞

SITUACIÓN: CONJUNTO:

b) Considere:
p: Una persona “x” tiene nacionalidad austríaca.
q: Una persona “x” tiene nacionalidad belga.
A = {x/x tiene nacionalidad austríaca}
B = {x/x tiene nacionalidad belga}
Proposición: 𝑝 ∧ 𝑞

SITUACIÓN: CONJUNTO:

c) Considere:
p: Un sudamericano “x” habla español.
q: Un sudamericano “x” habla portugués.
A = {x/x es sudamericano; x habla español}
B = {x/x es sudamericano; x habla portugués}
Proposición: 𝑝⨁𝑞

SITUACIÓN: CONJUNTO:

Página 16 de 20
 Programa de Matemática
Matemática Aplicada MAT204

7. Modele cada situación utilizando:

i. Sintaxis de lógica proposicional.
ii. Sintaxis de teoría de conjuntos, acompañando con un Diagrama de Venn.
EJEMPLO:
Situación: “Algunas personas reconocen que consumen carne y no beben
alcohol”.
p: Una persona “x” consume carne.
q: Una persona “x” bebe alcohol.
A = {x/x consume carne}
B = {x/x bebe alcohol}
Lógica proposicional:
𝑝 ∧∼ 𝑞

Teoría de conjuntos:
𝐴 ∩ 𝐵𝑐

a) Situación 1: “Algunos sistemas operativos son de uso libre”.

r: Un sistema operativo “x” no es de uso libre.
C = {x/x no es un sistema operativo de uso libre}

Página 17 de 20
 Programa de Matemática
Matemática Aplicada MAT204

b) Situación 2: “Algunos números naturales no son primos ni tampoco son pares”.

r: Un natural “x” es primo.
s: Un natural “x” es par.
C = {x/x ∈ ℕ; x es primo}
D = {x/x ∈ ℕ; x es par}

c) Situación 3: “Algunos empleados de Negreros S.A. no almuerzan o salen más

tarde”.
r: Un empleado “x” de Negreros S.A. almuerza.
s: Un empleado “x” de Negreros S.A. sale más tarde.
C = {x/x es un trabajador de Negreros S.A.; x almuerza}
D = {x/x es un trabajador de Negreros S.A.; x sale más tarde}

Página 18 de 20
 Programa de Matemática
Matemática Aplicada MAT204

SIGUE PRACTICANDO

8. Elabore la tabla de verdad para cada una de las siguientes proposiciones compuestas:
NOTA: En la última columna, F representa la expresión de la proposición compuesta.
Además, no olvidar que el operador  tiene prioridad sobre el operador .
Indique los valores de las proposiciones simples, para que la proposición
compuesta F sea verdadera.

[(p  q)  r]  [(p  r)  q]

9. Indique los valores de las proposiciones simples, para que la proposición compuesta sea verdadera.
a) p  q

p q F

Página 19 de 20
 Programa de Matemática
Matemática Aplicada MAT204

b) (p  q)  p

p q F

c) (p  q)  p

p q F

d) (p  q)  (p  q)

p q F

Página 20 de 20