Matemática Discreta 2020

UNIDAD 1

TEMARIO

1. Proposiciones
a. Que es una proposición
i. Simples
ii. Compuestas
iii. Axiomas o postulados
iv. Teoremas
v. Conectivos lógicos:
1. Negación = NOT
2. Conjunción =AND
3. Disyunción inclusiva = OR
4. Disyunción exclusiva=XOR
5. Condicional
6. Bicondicional
vi. Tablas de verdad de los conectivos
vii. Tautología
viii. Contradicción
ix. Indeterminada
x. Ejemplos
b. Ejercicios
2. Algebra de Boole
a. Definición
b. Identidades básicas
c. Teoremas
d. Circuitos Lógicos.
i. AND
ii. NAND
iii. OR
iv. XOR
e. Ejemplos y construcción de circuitos lógicos con compuertas.
f. Ejercicios

Ing. Marcela Bentín

1
 Matemática Discreta 2020

UNIDAD 1

LÓGICA PROPOSICIONAL

1. Una proposición se define como todo enunciado que expresa algo sobre lo que se pueda decir
si es verdadero o falso. Se denominan con letras minúsculas que suelen ser p, q, r, s…. A los
estados de V o F que puede tener una proposición se le denomina valor lógico o valor de
verdad.
a. Proposición simple: es aquella que no se puede reducir a otra más sencilla.
b. Proposición compuesta: son aquellas que pueden reducirse y usan conectivos
lógicos.
c. Axiomas o postulados: son proposiciones que se suponen verdaderas que por tanto
se admiten sin demostración. En la elaboración de una teoría se parte de unos
axiomas elementales y a partir de ahí se construye todo lo demás.
d. Teoremas: son proposiciones que se deducen a partir de unos axiomas y de otros
teoremas.
e. Conectivos lógicos: son elementos que se usan para enlazar varias proposiciones o para
modificar el valor de verdad de una proposición. (no; y; o, o… o…., pero no ambos;
si… entonces….;… si y sólo si….) El valor de una proposición compuesta dependerá
del valor de verdad de las proposiciones simples de que se compone. Los estados de
las proposiciones se suelen representar en tablas de verdad.
f. Tablas de verdad:
i. Negación: la negación de una proposición es invertir el valor que tiene.
ii. Conjunción: es una proposición compuesta que resulta verdadera cuando
todas sus entradas son verdaderas.
iii. Disyunción inclusiva: es verdadera cuando al menos una de sus entradas es
verdadera.
iv. Disyunción exclusiva: es verdadera cuando solo una de las entradas es
verdadera.

Ing. Marcela Bentín

2
 Matemática Discreta 2020

v. Condicional: resulta falsa cuando el antecedente es verdadero y el

consecuente es falso y verdadera en todos los demás casos. “Si p
entonces q”
vi. Bicondicional: resulta verdadera cuando son ambas verdaderas o ambas
falsas. “p si y solo si q = (si p entonces q) y (si q entonces p)
g. Tautología: cuando todos los valores de su tabla de verdad son verdaderos. Una
tautología es una proposición siempre verdadera independientemente de los
valores de verdad o falsedad de las proposiciones simples que la constituyen.
h. Contradicción: cuando todos los valores de su tabla de verdad son falsos.
i. Indeterminada. Cuando en su tabla de verdad hay valores verdaderos y falsos
2. Ejemplo de un bucle
a. El control de la ejecución de los enunciados en un programa de computación se
efectúa evaluando la veracidad de las proposiciones que los forman.
i. Por ejemplo, en la estructura if-then-else
If p then
Acción 1
Else
Acción 2
Si la proposición p es verdadera, se ejecuta la acción 1 (pero no la acción 2) y si la
proposición p es falsa, se ejecuta la acción 2 (pero no la acción 1)
ii. En la estructura while loop
While p do
Acción
La ejecución de la acción se repetirá tantas veces como p sea verdadera.
b. En la codificación siguiente
i := 1
j := 1
while (i < 2 and j < 5) or i + j = 5 do
begin

Ing. Marcela Bentín

3
 Matemática Discreta 2020

i := i + 2
j := j + 2
end
el lazo “while” se ejecutará dos veces. Si
p: i < 2 q: j < 5 r: i + j = 5
la proposición puede escribirse (p ^ q) v r. Inicialmente, p es verdadera, q es
verdadera y r es falsa. En este caso (p ^ q) v r es verdadera y se ejecuta.
En este momento, i es 3 y j es 2, de modo que esta vez p es falsa, q es verdadera y r es
falsa. Por ello, (p ^ q) v r es de nuevo verdadera y el lazo se ejecuta por segunda
vez. En este momento, i es 5 y j es 3; así que ahora p es falsa, q es verdadera y r es
falsa. En este caso (p ^ q) v r es falsa y deja de ejecutarse.

ALGEBRA DE BOOLE

La circuitería digital en computadoras digitales y otros sistemas digitales, se diseña y se

analiza con el uso de una disciplina matemática Algebra de Boole. Su nombre se debe al
matemático inglés George Boole quien en 1854 propuso los principios básicos de esta
algebra. En 1938 Claude Shannon, sugirió que este algebra podría utilizarse para resolver
problemas de diseño de circuitos de conmutación. Las técnicas de Shannon se usaron
consecuentemente, en el análisis y diseño de circuitos electrónicos digitales. El álgebra de Boole
resulta ser una herramienta útil en dos áreas:
o Análisis: es una forma concisa de describir el funcionamiento de los circuitos
digitales.
o Diseño: dada una función deseada, se puede aplicar el álgebra de Boole para
desarrollar una implementación de complejidad simplificada de esta función.
Este algebra usa variables y operaciones, en este caso, lógicas que pueden tomar el valor 1 o 0.
Las operaciones básicas son AND, OR y NOT, que se representan:
A AND B = A.B
A OR B= A+B
NOT = Ā

Ing. Marcela Bentín

4
 Matemática Discreta 2020

La operación AND es verdadera si y solo si los dos operandos son verdaderos. El resultado de la
OR es verdadero cuando al menos una de las entradas es verdadera. El NOT invierte el valor de
la entrada. En ausencia del paréntesis, la operación AND es preferente a la operación OR.
Además cuando no hay ambigüedad la operación AND se representa con una simple
concatenación en lugar del punto.
La siguiente tabla resume las identidades clave del algebra de Boole. La tabla se ha
organizado en dos columnas para mostrar la complementariedad, o dualidad, propia de las
operaciones AND y OR. Hay dos clases de identidades: las reglas básicas o postulados que
se afirman sin demostración y otras identidades que se pueden derivar de los postulados
básicos. Los postulados definen la manera en la que las expresiones booleanas se interpretan.
Una de las dos leyes distributivas merece ser destacada ya que difiere de lo que
encontraríamos en un algebra normal:
A + (B.C) = (A+B). (A+C)

POSTULADOS BASICOS

A+B=B+A Ley conmutativa

A.B = B.A
A+(B.C) = (A+B).(A+C) Ley distributiva
A.(B+C) = (A.B) + (A.C)
A+0=A Elemento neutro
1.A = A
A+Ā=1 Elemento complementario
A.Ā=0

OTRAS IDENTIDADES

1+A=1 Identidad
0.A=0
A+A=A Idempotencia
A.A=A

Ing. Marcela Bentín

5
 Matemática Discreta 2020

A+(B+C) = (A+B) + (A+C) Ley Asociativa

A.(B.C)=(A.B).C
A+B = Ā . B Teorema de Demorgan
A.B = Ā + B

COMPUERTAS

El bloque fundamental de construcción de todos los circuitos lógicos digitales son las compuertas.
Las funciones lógicas se implementan interconectando puertas. Una puerta es un circuito
electrónico que produce como señal de salida una operación booleana sencilla de las señales de
entrada. Las puertas básicas son AND OR NOT NOR NAND.

Normalmente no se utilizan todas las puertas en implementación. El diseño y la fabricación pueden ser
más sencillos si sólo se utilizan uno o dos tipos de puertas. Por lo tanto es importante identificar
conjuntos funcionalmente completos. Esto significa que cualquier función booleana se puede
implementar usando sólo las puertas del conjunto. Los siguientes son conjuntos funcionalmente
completos:

• AND, OR, NOT

• AND, NOT

• OR, NOT

• NAND

• NOR

AND, OR y NOT constituyen un conjunto funcionalmente completo, ya que representan tres

operaciones del álgebra de Boole.

Ing. Marcela Bentín

6
 Matemática Discreta 2020

Compuertas Lógicas

Las compuertas lógicas son circuitos electrónicos diseñados para obtener resultados booleanos
(0,1) mediante operaciones lógicas binarias (suma, multiplicación). Dichas compuertas son AND,
OR, NOT, NAND, NOR, XOR, XNOR, entre otras.

Con excepción en la NOT, todas las compuertas tienen dos entradas, denominadas A y B, así como
una salida binaria denominada X.

La siguiente figura muestra las compuertas lógicas más utilizadas, así como su tabla de verdad y
su función algebraica.

Ing. Marcela Bentín

7
 Matemática Discreta 2020

Ing. Marcela Bentín

8
 Matemática Discreta 2020

Compuerta AND: Es la multiplicación lógica, la salida es 1 si la entrada A y la entrada B están

ambas en el binario 1: de otra manera, la salida es 0. El símbolo de operación algebraico de la
función AND es el mismo que el símbolo de la multiplicación de la aritmética ordinaria (*). Las
compuertas AND pueden tener más de dos entradas y por definición, la salida es 1 si todas las
entradas son 1.

Compuerta OR: La compuerta OR produce la función sumadora, esto es, la salida es 1 si la entrada
A o la entrada B o ambas entradas son 1; de otra manera, la salida es 0.
El símbolo algebraico de la función OR (+), es igual a la operación de aritmética de suma.
Las compuertas OR pueden tener más de dos entradas y por definición la salida es 1 si cualquier
entrada es 1.

Compuerta NOT: El circuito NOT es un inversor que invierte el nivel lógico de una señal binaria.
Produce el NOT, o función complementaria. El símbolo algebraico utilizado para el complemento
es una barra sobra el símbolo de la variable binaria. Si la variable binaria posee un valor 0, la
compuerta NOT cambia su estado al valor 1 y viceversa.

Compuerta NAND: Es el complemento de la función AND, como se indica por el símbolo gráfico,
que consiste en una compuerta AND seguida por un pequeño círculo (quiere decir que invierte la
señal). La designación NAND se deriva de la abreviación NOT – AND. Una designación más
adecuada habría sido AND invertido puesto que es la función AND la que se ha invertido.

Compuerta NOR: Es el complemento de la compuerta OR y utiliza el símbolo de la compuerta OR

seguido de un círculo pequeño (quiere decir que invierte la señal). Las compuertas NOR pueden
tener más de dos entradas, y la salida es siempre el complemento de la función OR.

Compuerta XOR: A diferencia de la compuerta OR, esta solo regresa un valor positivo si SOLO
una de las entradas está en valor positivo. En caso de que ambas se encuentren en estado alto el
resultado será un 0.

Ing. Marcela Bentín

9