Está en la página 1de 70

UNIVERSIDAD ORT URUGUAY

MATEMÁTICA APLICADA PARA COMPUTACIÓN


ANALISTA EN TECNOLOGÍAS DE LA INFORMACIÓN
EL 2 ES DIVISOR DE 48 O • COMPUESTAS
EL 5 ES DIVISOR DE 48. • Existen dos proposiciones enlazadas por una
disyunción

NO TODOS LOS NÚMEROS • COMPUESTAS


PRIMOS SON IMPARES. • Existe una negación que afecta a una proposición

UN ENTERO NO PRIMO • SIMPLE


MAYOR DE 1, ES DIVISIBLE
POR UN PRIMO. • Aunque existe un no, éste afecta al sujeto

SI SUMAMOS DOS PRIMOS, • COMPUESTAS


ENTONCES LA SUMA ES
UN PRIMO. • Existe una implicación como término de enlace.

LA SUMA DE DOS PRIMOS • SIMPLE


ES UN PRIMO.
• No existen negaciones, ni términos de enlace
EXPRESIONES QUE RESULTAN FALSA O VERDADERA, PERO NO
AMBAS.
CONDICIONALES “si a, entonces b” a→b
a premisa

b conclusión

BICONDICIONALES “a si solo si b” a↔b


a premisa

b conclusión
La verdad o falsedad de una proposición simple depende
de la información fáctica que esta proporciona.

La verdad o falsedad de una proposición compuesta


depende del valor de verdad de las proposiciones
simples que la componen, pero también de las
conectivas que la constituyen.
Proposiciones simples: p, q, r, s, t, u, v, ….
Signos de puntuación: ( ) [ ] { }
Tipos Texto asociado Simbología
Conjunción (intersección) y, pero, aunque, sin embargo…. ˄V

Disyunción (unión) o, o bien, a menos que, …. ˅V


Negación no, no es cierto que, es falso que… ¬
Condicional si…..entonces….., sólo si,……. →
Doble Condicional si y sólo si ↔
Si los pacientes de la sala 4 son trasladados a la sala 2,
aumentará el riesgo de contagio de gripe en esa sala y
no se reducirá el uso de antihistamínicos.

 p: Los pacientes de la sala 4 son trasladados a la sala 2.


 q: En la sala 2 aumentará el riesgo de contagio.
 r: Se reducirá el uso de antihistamínicos.

p→(q¬r)
Conjunción (y) Disjunción (o)

F F F F F F
F V F F V V
Negación V F F V F V
¬ V V V V V V
F V
V F Condicional Bicondicional

F F V F F V
F V V F V F
V F F V F F
V V V V V V
Relación Conjunción (y) Disjunción (o)
0 FALSO
1 VERDADERO 0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1

Condicional Bicondicional
Negación
¬ 0 0 1 0 0 1
0 1 0 1 1 0 1 0
1 0 0 1 0 0
1 0 1 1 1 1 1 1
0 0 0
0 1 0
1 0 0
1 1 1

F F F
F V F
V F F
V V V
0 0 0
0 1 0
1 0 0
1 1 1
0 0 0
0 1 0
1 0 0
1 1 1
Se denomina de ese modo a la aplicación de métodos
para determinar si una estructura es válida o inválida.

Tales métodos pueden ser sintácticos o semánticos.


PASOS
 Simbolizar la estructura del razonamiento.
 Conjuntar las premisas, y colocarlas como antecedente
de un condicional, que tendrá como consecuente la
conclusión del mismo.
 Resolver la tabla de verdad.
 Evaluar el resultado de la tabla. Si el razonamiento es
válido la proposición condicional resultará tautológica.
Es una proposición cuyos VALORES DE VERDAD del OPERADOR
PRINCIPAL son TODOS VERDADEROS, cualquiera sea el valor de
verdad de sus componentes.
Es una proposición cuyos VALORES DE VERDAD del OPERADOR
PRINCIPAL son TODOS FALSOS,
cualquiera que sea el valor de verdad de sus componentes.
No es ni tautología ni contradicción porque los
VALORES DE VERDAD de su OPERADOR
PRINCIPAL tienen por lo menos una VERDAD
y/o una FALSEDAD.
• George Boole fue un lógico y matemático británico.
• Escribió los libros:
• “The Mathematical Analysis of Logic” (1847)
• “An Investigation of the Laws of Thought” (1854).
• Desarrolló la lógica Simbólica mediante la cual las proposiciones pueden ser
representadas mediante símbolos y la teoría que permite trabajar con estos
símbolos,
• Entradas: variables o proposiciones
• Salidas: respuestas
• Dicha lógica cuenta con operaciones lógicas que siguen el comportamiento de
reglas algebraicas y pueden ser tratadas mediante herramientas matemáticas.
• Las proposiciones lógicas (frases o predicados de la lógica clásica) son

aquellas que únicamente pueden tomar valores Verdadero/Falso, o

preguntas cuyas únicas respuestas posibles sean Sí/No.

• Conjunto de reglas de la Lógica Simbólica se le denomina Álgebra Booleana.

• Todas las variables y constantes del Álgebra Booleana, admiten sólo uno de

dos valores en sus entradas y salidas: Sí/No, 0/1 o Verdadero/Falso.

• Estos valores bivalentes y opuestos pueden ser representados por números

binarios de un dígito denominado bit (Álgebra del Sistema Binario).


• Todas las operaciones pueden representarse mediante elementos físicos :
• Mecánicos,
• Eléctricos,
• Neumáticos o electrónicos que admiten entradas binarias o lógicas y que
devuelven una respuesta (salida) también binaria o lógica.
• Sus estados pueden ser:
• Abierto/Cerrado, en el casi de interruptores,
• Encendida/Apagada si se refiere a una bombilla,
• Cargado/Descargado, si se tratase de un condensador,
• Nivel Lógico 0/Nivel lógico 1, para producir una salida lógica de un circuito
semiconductor,
• Entre OTRAS
El estudio de los circuitos
• CIRCUITOS ANALÓGICOS: utiliza
electrónicos se puede
magnitudes con valores continuos
clasificar en dos
• CIRCUITOS DIGITALES: utiliza magnitudes
categorías: con valores discretos

En electrónica tiene mas • los datos digitales pueden ser procesados y


ventaja que la transmitidos de forma más fiable y eficiente
representación digital que los datos analógicos.
• Los circuitos eléctricos simples son circuitos conmutados con interruptores

que están conformados por:

 una conexión de una fuente de voltaje (V)

 un interruptor o suiche (S)

 una lámpara (LAMP).

La función de este sistema eléctrico consiste en cerrar o abrir el interruptor


para que se encienda o se apague la lámpara, respectivamente.
CERRAR O PONER EL INTERRUPTOR EN ESTADO LÓGICO “1”

 se produce el encendido de la lámpara, a esta acción se asignará “1”;

ABRIR O PONER EL INTERRUPTOR EN ESTADO EN LÓGICO “0”

 se produce el apagado de la lámpara, a cuya acción se asignará el

estado lógico “0”


• Los circuitos conmutados según la distribución de sus interruptores se

pueden clasificar en:

• Circuitos conmutados en serie. Son aquellos circuitos cuyos interruptores van de

manera consecutiva

• Circuitos conmutados en paralelo. Son aquellos circuitos cuyos interruptores van

distribuidos en diferentes filas


Una tabla de verdad contiene valores obtenidos de las posibles combinaciones

de los valores de los interruptores o pulsadores (o simplemente entradas)

también se denomina función lógica.

Según la distribución de los interruptores o pulsadores en el circuito en:

• serie corresponde a la función lógica denominada función AND y equivale al

encendido o apagado de la lámpara.

• paralelo se produce la o función OR y corresponde al encendido o apagado de la

lámpara.
Un circuito conmutado en serie tiene como función, dar encendido a la

lámpara, si los interruptores están cerrados o apagarla, si se abre algún

interruptor o pulsador. La función lógica de este circuito corresponde a la

compuerta AND
Un circuito conmutado en paralelo tiene como función darle encendido a la

lámpara, siempre que alguno de los interruptores esté cerrado o de apagarla

cuando se abren todos los interruptores o pulsadores.

La función lógica de este circuito corresponde a la compuerta OR


Las funciones lógicas de circuitos conmutados toman valores similares

a los de las tablas de verdad de la lógica de proposiciones, solo que

en lugar de escribir VERDADERO se escribirá 1

FALSO se escribirá 0
 Las puertas lógicas son el bloque fundamental de construcción de

todos los circuitos lógicos digitales, de forma que las funciones

lógicas se implementan interconectando puertas.

 Para representar las puertas lógicas se utilizan

 Símbolos distintivos: corresponden a los utilizados comúnmente por la

industria digital.

 Símbolos rectangulares: IEEE/ANSI 91-1984


Las puertas NAND y NOR se denominan puertas universales, ya
que a partir de ellas es posible implementar cualquiera de las
demás puertas lógicas.
x F x y F x y F
0 1 0 0 0 0 0 0
1 0 0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1
XOR (OR EXCLUSIVO) XNOR
x y F x y F
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 1
x y F x y F
0 0 1 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 0
Supóngase que, partiendo del enunciado verbal de un determinado problema,
se tiene la siguiente expresión booleana:
F(A, B, C) = A' B' + A B + A B' C
Deseamos obtener el diagrama del circuito lógico que realice esta función.
• Las variables A, B y C serán las entradas del circuito y F será la salida.
• De la expresión observamos que se tienen tres términos, cada uno de los cuales
requiere de una compuerta Y:
• las dos primeras de dos entradas
• una tercera de tres entradas.
• La salida de cada una de estas compuertas es la entrada de una compuerta O. A
la salida de esta compuerta se tendrá la función de salida.
• Pero antes, por cada variable negada, se requiere que ésta pase por un inversor.
F(A, B, C) = A' B' + A B + A B' C
El circuito anterior puede reducirse utilizando los postulados y teoremas.

Realizamos lo que se denomina SIMPLIFICACIÓN DE FUNCIONES

BOOLEANAS

• F = A' B' + A B + A C

• F = A' C' + A C + A B

Ahora la expresión queda con tres compuertas Y de dos entradas cada una,

pero observamos que los dos primeros términos forman la O EXCLUSIVA

NEGADA, por lo tanto, la función queda: F = (A + C)' + A B


F = (A + C)' + A B
2 VARIABLES 3 VARIABLES 4 VARIABLES

5 VARIABLES
1. LAS AGRUPACIONES SON EXCLUSIVAMENTE DE UNOS.
Esto implica que ningún grupo puede contener ningún cero.
2. LAS AGRUPACIONES ÚNICAMENTE PUEDEN HACERSE EN
HORIZONTAL Y VERTICAL.
Esto implica que las diagonales están prohibidas.
3. LOS GRUPOS HAN DE CONTENER 2N ELEMENTOS.
Es decir que cada grupo tendrá 1,2,4,8... número de unos
4. CADA GRUPO HA DE SER TAN GRANDE COMO SEA POSIBLE.
5. TODOS LOS UNOS TIENEN QUE PERTENECER COMO MÍNIMO
A UN GRUPO.
Aunque pueden pertenecer a más de uno.
6. PUEDEN EXISTIR SOLAPAMIENTO DE GRUPOS.
7. LA FORMACIÓN DE GRUPOS TAMBIÉN SE PUEDE PRODUCIR
CON LAS CELDAS EXTREMAS DE LA TABLA.
8. TIENE QUE RESULTAR EL MENOR NÚMERO DE GRUPOS
POSIBLES SIEMPRE Y CUANDO NO CONTRADIGA NINGUNA DE
LAS REGLAS ANTERIORES.
𝒇 𝒙, 𝒚, 𝒛 = 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛

1. Convertir la expresión a una suma de productos si es necesario.


• Algebraicamente
• Construyendo una tabla de verdad
• Mapa de Karnaugh
𝒇 𝒙, 𝒚, 𝒛 = 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛

2. Cubrir todos los unos del mapa mediante rectángulos de 2N


elementos, donde N = 0 ... número de variables.

En este caso
se ha unido
la columna
izquierda
con la
derecha
para formar
un único
rectángulo
𝒇 𝒙, 𝒚, 𝒛 = 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛

3. Encontrar la MSP, atención porque podemos encontrarnos con


que puede haber más de una MSP.

En nuestro ejemplo
tenemos
𝒇 𝒙, 𝒚, 𝒛 = 𝒛 + 𝒙𝒚
las variables resultado
son las que tienen
valor único en cada
rectángulo.

También podría gustarte