Altillo.com > Exámenes > UBA - Ingeniería > Matemática Discreta

1) Analizar la validez de los siguientes razonamientos.
En caso de ser válido, demostrarlo usando reglas de inferencia

a)                              b)

2) Sean las proposiciones:
p) Algunos que no cantan son elegantes
q) Todos los genios no son elegantes
r) Todos los genios no cantan
y el razonamiento:

a) Formalizar el razonamiento en lógica de predicados
b) Formalizar el razonamiento como proposiciones categóricas
c) Usando diagramas de Venn, analizar la validez de dicho razonamiento
d) ¿Y el razonamientoes válido?

3) Dada la función f(x, y, z, w, t) = ΠM(0, 1, 3, 5, 7, 9, 10, 11, 13, 15, 17, 19, 21, 22, 23, 29, 31) Simplificar usando McKluskey.

4) Un producto pasa por cuatro controles llamados A, B, C, D.
Cada uno de ellos coloca en el lugar de la tarjeta que le corresponde un 1 si es aprobado y cero si es rechazado por dicho centro1.
Se desea diseñar un circuito con compuertas NOR que active una alarma cada vez que el producto no esté en condiciones de salir a la venta al leer la tarjeta.
Para poder salir a la venta debe haber sido aprobado por tres controles al menos, ó si sólo es aprobado por dos de los controles, uno de ellos es el control D, ó los controles B y C.

5) Decir si es V(verdadero) o F(falso), justificando la respuesta:
a) Si
b) En toda álgebra de Boole
c) Si
d) es una tautología. (No usar Tablas de verdad)