Te encuentras trabajando en una empresa de desarrollo de software en donde te han asignado el
proyecto de crear un sistema de control de acceso a una instalación industrial. El sistema que te
piden desarrollar debe:
• Permitir el acceso a la instalación únicamente a los trabajadores autorizados y denegar el
acceso a cualquier otra persona.
Para implementar este sistema debes definir:
• El conjunto de reglas que determinarán quién tendrá acceso a la instalación y quién no.
Para ello deberás utilizar conectivos lógicos y tablas de verdad para estructurar y evaluar las distintas
condiciones que se deben cumplir para determinar si una persona tiene acceso o no. Por ejemplo,
podrías utilizar una tabla de verdad para evaluar si un trabajador tiene o no la autorización necesaria
para acceder a la instalación, dependiendo de su cargo y de su nivel de acceso autorizado.
En base al caso planteado, desarrolla las actividades:
1. Elabora un cuadro comparativo en el cual puedas diferenciar los diferentes conectivos lógicos
que estarás utilizando para desarrollar el sistema de control de acceso que te están solicitando
con el propósito de identificar las condiciones de la tabla de verdad aplicada.
2. ¿A partir de qué relacionarías los conectivos lógicos con la tabla de verdad para definir las
reglas de acceso y evaluar quién tiene acceso a la instalación y quién no? Explica cómo
utilizarás la tabla de verdad para resolver el problema de determinar quién tiene acceso.
3. ¿Mediante qué fórmulas proposicionales y tablas de verdad podrás determinar cómo
garantizar que el sistema de control de acceso permita el acceso únicamente a los
trabajadores autorizados y deniegue el acceso a cualquier otra persona? Justifica tu
respuesta.