Resolución Trabajo Práctico Integrador N°2

- Ejercicio de Lógica Digital -

Propósito y sentido de la actividad

Aplicar las reglas de álgebra de Boole para simplificar una expresión booleana que
podría llegar a ser muy compleja. El objetivo es simplificar tal expresión, eliminar las
partes redundantes y obtener una expresión simple y concisa que sea fácil de entender
para los humanos y fácil de procesar para la máquina.
Producto final de la actividad
Al finalizar este trabajo tendremos un buen manejo de las propiedades del álgebra de
Boole. Estaremos en condiciones de reescribir expresiones booleanas muy complejas
en forma de expresiones booleanas equivalentes, sencillas y simplificadas.
Evaluación

Esta actividad es individual, obligatoria y con autoevaluación. La fecha de entrega se

encuentra en el calendario, ese mismo día se publicará la solución para que pueda
realizar la autoevaluación.

Para acreditar esta actividad se solicita:

● Un informe en pdf del trabajo realizado punto por punto.
● En caso de incluir imágenes aplicar el programa camscaner a las imágenes
para que sean legibles

En caso de no realizar la entrega en el día previsto en el calendario se solicitará al

alumno que re-entregue los ejercicios más un ejercicio adicional a criterio de la
comisión.

Ayuda y consultas
Para realizar consultas se puede usar cualquiera de los canales habilitados: horas de
consulta en clase online, foro de consultas, mail, y otros canales que habilite la
comisión. En particular, alentamos las consultas en vivo en horario de cursada.
Enunciado del Mini TP:

Una de las medidas para controlar el avance de la pandemia fue un control en la

circulación automovilística. En este minitp vamos a recordar este control desde el punto
de vista del álgebra de Boole.
Para poder circular se necesitaba tramitar un permiso especial de circulación. Para
tramitar el permiso de circulación, una aplicación recolectaba los datos del usuario e
informaba si el permiso era aceptado o no.
Hoy vemos que el formulario de la aplicación tenía muchas opciones para completar y
el momento de saber si se obtenía el permiso o era denegado se demoraba mucho. En
este minitp se desea acelerar el momento de saber si se tiene el permiso o no. Para tal
fin, se propone construir un circuito digital que permita chequear rápidamente si se
puede otorgar el permiso.
Para esto se pide diseñar el circuito que resolverá la lógica necesaria. Las reglas
principales para solicitar el permiso son las siguientes:

● Pueden solicitar el permiso personas que realicen trabajos esenciales, vayan a

estudiar ó por razones de fuerza mayor.
● En cualquiera de los casos anteriores se debe contar con la sube para usar el
transporte público, un auto en caso de no usar transporte público, ó también se
puede informar otro medio de transporte como una bicicleta.

Un borrador preliminar sugiere que las reglas anteriormente mencionadas se pueden

escribir en la siguiente la siguiente fórmula proposicional:

donde las variables P, F, T, E, S, A y B significan:

P=Permiso
F=Fuerza Mayor
T=Trabajo Esencial
E=Estudiar
S=Sube
A=Auto
B=Bici

Nuestro trabajo es simplificar esta fórmula. Para esto debemos resolver los siguientes
ejercicios:
1) Obtener una fórmula proposicional simplificada usando las reglas del álgebra
booleana. Justificar, explicar y marcar en cada paso cual es la subexpresión
afectada por la propiedad booleana. Utilizar al menos 3 propiedades booleanas
diferentes.

2) Diseñar el circuito a partir de la fórmula simplificada del punto anterior. Puede usar el
programa Logisim para hacer los gráficos y probar su circuito. Incluir las leyendas
indicando que formula sale de cada compuerta
3) Comparar la fórmula simplificada con la fórmula original y responder ¿Qué fórmula
resulta más conveniente y por qué?

La fórmula simplificada resulta más conveniente que la fórmula original porque:

● aplica menos operadores lógicos, esto repercute en un circuito más eficiente y
más chico con menos compuertas
● y en caso de implementar la fórmula booleana como el condicional de en un if
en algún lenguaje de programación, esta resulta más eficiente
computacionalmente por tener menos operadores lógicos que evaluar

Fin MiniTP