Este documento introduce el álgebra de Boole y sus aplicaciones en circuitos lógicos. Explica que el álgebra de Boole define operaciones matemáticas como suma, producto y complemento que modelan las propiedades de conjuntos y proposiciones lógicas. Luego, describe cómo el álgebra de Boole se usa para modelar compuertas lógicas y circuitos de interruptores, y establece los axiomas y propiedades de dicho álgebra. Finalmente, discute conceptos como orden parcial, expresiones booleanas, forma normal disy
La empresa vende productos a clientes y necesita conocer los datos personales de los clientes como nombre, DNI y dirección. Los productos tienen nombre, código y precio, y pueden ser comprados por varios clientes. Los productos son suministrados por proveedores, donde un producto es suministrado por un proveedor y un proveedor puede suministrar diferentes productos.
El documento describe los diagramas de entidad-relación (DER), que representan el esquema de una base de datos mediante entidades (rectángulos que representan objetos), atributos (óvalos que representan propiedades) y relaciones (rombos que representan enlaces). Incluye ejemplos de DER con sus componentes y tipos de atributos y relaciones. También presenta un ejemplo de DER para una aplicación de reservas deportivas con entidades como instalaciones, socios y artículos.
El documento describe los pasos para crear un programa en C utilizando el entorno de desarrollo Code::Blocks, incluyendo la edición del código, compilación, enlazado, ejecución y depuración. Primero, se escribe el código fuente en el editor. Luego, se compila el código para generar un ejecutable. Finalmente, se puede ejecutar el programa y depurarlo paso a paso para corregir errores.
El documento presenta 9 ejercicios de modelado de bases de datos. Cada ejercicio describe un escenario diferente y solicita diseñar una base de datos identificando tablas, atributos, claves y relaciones. Los ejercicios cubren temas como relaciones uno a uno, uno a muchos y muchos a muchos, y modelan entidades como restaurantes, ciclismo, películas, revistas científicas y más.
Este documento presenta 17 preguntas de selección múltiple sobre conceptos básicos de administración de bases de datos, incluyendo objetivos de auditoría, definición de auditoría de base de datos, roles como DBA, técnicas de recuperación, sentencias SQL como SELECT, INSERT, UPDATE, ALTER y más. Las preguntas abarcan temas como modelado y diseño de bases de datos, administración de cambios, análisis de datos, evaluación de riesgos, procedimientos almacenados y su importancia para optimizar la obtención de datos.
Tematica correspondiente a los contenidos de cuantificadores, universal y existencial.
Ademàs relaciona algunos problemas que se pueden solucionar con diagramas de Venn-Euler
Class 01 introduction_to_operating_systems.htmUNEFA
Este documento describe los sistemas operativos y sus componentes principales. Explica que un sistema operativo es un programa que gestiona los recursos del computador como la CPU, memoria, dispositivos de entrada/salida y archivos. Luego describe los componentes clave de un sistema operativo como el gestor de procesos, gestor de memoria, gestor de E/S y gestor de almacenamiento secundario. También cubre las llamadas al sistema y la estructura general de un sistema operativo.
Solución de problemas en programación linealARLO SOLIS
El documento presenta dos ejercicios de programación lineal que deben resolverse utilizando los métodos de la gran M y de las dos fases. Se pide aplicar ambos métodos paso a paso para cada ejercicio, comparar los resultados y utilizar software de programación lineal. Finalmente, se solicita guardar los ejercicios resueltos y enviarlos para recibir retroalimentación.
La empresa vende productos a clientes y necesita conocer los datos personales de los clientes como nombre, DNI y dirección. Los productos tienen nombre, código y precio, y pueden ser comprados por varios clientes. Los productos son suministrados por proveedores, donde un producto es suministrado por un proveedor y un proveedor puede suministrar diferentes productos.
El documento describe los diagramas de entidad-relación (DER), que representan el esquema de una base de datos mediante entidades (rectángulos que representan objetos), atributos (óvalos que representan propiedades) y relaciones (rombos que representan enlaces). Incluye ejemplos de DER con sus componentes y tipos de atributos y relaciones. También presenta un ejemplo de DER para una aplicación de reservas deportivas con entidades como instalaciones, socios y artículos.
El documento describe los pasos para crear un programa en C utilizando el entorno de desarrollo Code::Blocks, incluyendo la edición del código, compilación, enlazado, ejecución y depuración. Primero, se escribe el código fuente en el editor. Luego, se compila el código para generar un ejecutable. Finalmente, se puede ejecutar el programa y depurarlo paso a paso para corregir errores.
El documento presenta 9 ejercicios de modelado de bases de datos. Cada ejercicio describe un escenario diferente y solicita diseñar una base de datos identificando tablas, atributos, claves y relaciones. Los ejercicios cubren temas como relaciones uno a uno, uno a muchos y muchos a muchos, y modelan entidades como restaurantes, ciclismo, películas, revistas científicas y más.
Este documento presenta 17 preguntas de selección múltiple sobre conceptos básicos de administración de bases de datos, incluyendo objetivos de auditoría, definición de auditoría de base de datos, roles como DBA, técnicas de recuperación, sentencias SQL como SELECT, INSERT, UPDATE, ALTER y más. Las preguntas abarcan temas como modelado y diseño de bases de datos, administración de cambios, análisis de datos, evaluación de riesgos, procedimientos almacenados y su importancia para optimizar la obtención de datos.
Tematica correspondiente a los contenidos de cuantificadores, universal y existencial.
Ademàs relaciona algunos problemas que se pueden solucionar con diagramas de Venn-Euler
Class 01 introduction_to_operating_systems.htmUNEFA
Este documento describe los sistemas operativos y sus componentes principales. Explica que un sistema operativo es un programa que gestiona los recursos del computador como la CPU, memoria, dispositivos de entrada/salida y archivos. Luego describe los componentes clave de un sistema operativo como el gestor de procesos, gestor de memoria, gestor de E/S y gestor de almacenamiento secundario. También cubre las llamadas al sistema y la estructura general de un sistema operativo.
Solución de problemas en programación linealARLO SOLIS
El documento presenta dos ejercicios de programación lineal que deben resolverse utilizando los métodos de la gran M y de las dos fases. Se pide aplicar ambos métodos paso a paso para cada ejercicio, comparar los resultados y utilizar software de programación lineal. Finalmente, se solicita guardar los ejercicios resueltos y enviarlos para recibir retroalimentación.
1. El documento presenta varios ejemplos y propiedades de expresiones regulares y autómatas finitos.
2. Incluye 17 propiedades de expresiones regulares, ejemplos de operaciones con lenguajes y expresiones regulares, y la descripción de un autómata finito.
3. Finalmente, propone un ejemplo de construcción del diagrama de Moore a partir de una tabla de transiciones de un autómata finito.
Fundamentos de diseño lógico y de computadoras Charles R. Kime y M. Morris Ma...SANTIAGO PABLO ALBERTO
Este documento presenta un libro de texto sobre fundamentos de diseño lógico y de computadoras. El libro es la tercera edición de este texto y cubre temas como sistemas numéricos, circuitos lógicos combinacionales, diseño lógico combinacional, funciones y circuitos aritméticos, circuitos secuenciales, registros y transferencia de registros, secuenciación y control. El libro está escrito en español y fue traducido de la versión en inglés por varios profesores e ingenieros españoles
1. Los lenguajes regulares son aquellos cuyas palabras contienen regularidades o repeticiones de componentes.
2. Un lenguaje es regular si es finito, la unión o concatenación de otros lenguajes regulares, o la cerradura de Kleene de algún lenguaje regular.
3. Las expresiones regulares representan lenguajes regulares mediante símbolos y reglas que definen su estructura.
Este documento describe las funcionalidades del programa DFDDFD para diseñar y depurar diagramas de flujo. Explica cómo crear objetos básicos como entradas, salidas, asignaciones y estructuras de control. También muestra ejemplos sencillos de algoritmos y cómo ejecutarlos y depurarlos para detectar errores. Finalmente, explica los diferentes objetos que se pueden incluir en los diagramas de flujo como variables, operadores y funciones.
Modelamiento del Data Warehouse (caso práctico)LPI ONG
El documento describe las fases para desarrollar una solución de Business Intelligence para la empresa Inca Video. La Fase I implica definir el modelo de negocio identificando los procesos clave, medidas y dimensiones. El proceso de alquiler es seleccionado. La Fase II implica crear el modelo dimensional con tablas de hechos, dimensiones y jerarquías, además de definir llaves artificiales y el grano.
Ejercicios resueltos de investigacion de operacionesSergio Jarillo
Este documento recopila exámenes resueltos de Investigación Operativa de los años 2005 a 2010 de la Facultad de Ciencias Económicas y Empresariales. Incluye problemas de programación lineal entera, programación multiobjetivo, redes y planificación de proyectos. El objetivo es ofrecer ejemplos resueltos de los principales temas de la asignatura para ayudar a los estudiantes a preparar los exámenes.
El documento presenta una introducción a Visual Basic 6.0, incluyendo su historia y evolución, características del entorno de desarrollo como formularios y controles, estructuras de control como If/Then y bucles, y conceptos básicos de programación como objetos, eventos, propiedades y métodos. También cubre temas como la creación de formularios, el manejo de propiedades y la estructura básica de un programa en VB6.
Una lista de adyacencia es una representación de un grafo mediante una lista donde cada entrada contiene los vértices conectados por una arista. Si el grafo es no dirigido, cada entrada contiene un conjunto de dos vértices asociados a una arista. Si es dirigido, cada entrada contiene una tupla con el vértice de origen y destino de un arco.
El documento describe el álgebra de Boole y sus aplicaciones en circuitos lógicos. Introduce el álgebra de Boole, definido por George Boole, que se utiliza para modelar compuertas lógicas y circuitos de interruptores. Explica los axiomas y operaciones básicas del álgebra de Boole, incluidas las leyes de suma, producto y complemento. También cubre conceptos como expresiones booleanas, forma normal de suma de productos, y el uso de diagramas de orden parcial para representar álgebras de Boole finitas.
El documento describe el álgebra de Boole y sus aplicaciones en circuitos lógicos. Introduce el álgebra de Boole, definido por George Boole, que se utiliza para modelar compuertas lógicas y circuitos de interruptores. Explica los elementos, operaciones y propiedades del álgebra de Boole, incluida la dualidad y la representación de expresiones booleanas como suma de productos.
El documento describe el álgebra de Boole y los circuitos lógicos. Explica que el álgebra de Boole define las operaciones lógicas de suma, producto y complemento y sus propiedades. Luego, introduce los circuitos lógicos como dispositivos formados por compuertas lógicas básicas como AND, OR y NOT, cuyas tablas de verdad son equivalentes a las operaciones del álgebra de Boole. Finalmente, describe los mapas de Karnaugh como un método gráfico para simplificar expresiones booleanas y minimizar circuitos
Este documento describe el álgebra de Boole y los circuitos lógicos. Explica que el álgebra de Boole define las operaciones y propiedades de la lógica proposicional, y que los circuitos lógicos implementan estas operaciones usando compuertas como AND, OR y NOT. También introduce métodos para simplificar circuitos lógicos como los mapas de Karnaugh.
1. El álgebra de Boole es un sistema algebraico que modela las operaciones lógicas AND, OR y NOT usando los elementos 0 y 1 y los operadores +, · y '. 2. Una variable booleana solo puede tomar los valores 0 o 1, equivalentes a falso o verdadero. 3. Las operaciones básicas son la suma lógica OR, el producto lógico AND y la negación NOT, con ejemplos de sus tablas de verdad.
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Betzi Lira
El documento define el álgebra de Boole y sus principales conceptos y operaciones. Explica que el álgebra de Boole es un sistema binario que modela las operaciones lógicas AND, OR y NOT. Define variables booleanas y funciones booleanas y describe las operaciones básicas, postulados, teoremas y compuertas lógicas del álgebra de Boole. También explica las formas canónicas y normalizadas de representar funciones booleanas.
Este documento resume la teoría del álgebra de Boole y sus aplicaciones en sistemas digitales. George Boole estableció el álgebra de Boole en 1854 para modelar el razonamiento lógico, estableciendo las operaciones de suma y producto para representar la disyunción y conjunción. El álgebra de Boole se utiliza para analizar y diseñar circuitos digitales compuestos de compuertas lógicas como AND, OR y NOT.
El documento describe el álgebra de Boole, un sistema matemático basado en los valores verdadero y falso. Define operaciones lógicas como AND, OR y NOT y postula propiedades como conmutatividad, asociatividad y distribución. Explica cómo se pueden representar funciones booleanas y simplificarlas usando diagramas de Karnaugh.
ÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptxDarkarBlack
Este documento define el álgebra de Boole y sus principales conceptos. Explica que el álgebra de Boole se define por un conjunto de elementos, operadores binarios y axiomas. Luego describe los postulados de Huntington que definen formalmente el álgebra de Boole, incluyendo conjuntos cerrados, elementos de identidad y dualidad. Finalmente, resume algunos teoremas básicos como la prioridad de operadores y formas canónicas de funciones booleanas.
Este documento describe las álgebras de Boole, que formalizan las operaciones lógicas AND, OR y NOT. Explica que una álgebra de Boole es una estructura algebraica que define conjuntos cerrados bajo operaciones como suma, producto y complemento. También muestra ejemplos como conjuntos, proposiciones lógicas y divisores, y cubre teoremas como la dualidad y la forma canónica de suma de productos.
El documento describe las operaciones fundamentales del álgebra de Boole, incluyendo la suma, el producto y la negación. Define el álgebra de Boole como una estructura algebraica que formaliza las operaciones lógicas Y, O y NO. También explica que el álgebra de Boole se utiliza para modelar sistemas digitales.
Este documento describe el álgebra de Boole y los circuitos lógicos. Explica que el álgebra de Boole define las operaciones lógicas y sus propiedades, y que los circuitos lógicos se construyen a partir de compuertas lógicas como AND, OR y NOT. También introduce métodos para simplificar circuitos lógicos como los mapas de Karnaugh, que permiten encontrar formas minimales de expresiones booleanas.
Este documento presenta los fundamentos del álgebra booleana. Define el álgebra booleana como un sistema algebraico binario compuesto por dos elementos (0 y 1) y dos operaciones (suma y producto). Establece seis axiomas/postulados que describen las propiedades de conmutatividad, asociatividad, distribución, identidad y complementación requeridas. Finalmente, demuestra cómo el conjunto de números enteros satisface dichas propiedades y puede usarse para representar el álgebra booleana.
1. El documento presenta varios ejemplos y propiedades de expresiones regulares y autómatas finitos.
2. Incluye 17 propiedades de expresiones regulares, ejemplos de operaciones con lenguajes y expresiones regulares, y la descripción de un autómata finito.
3. Finalmente, propone un ejemplo de construcción del diagrama de Moore a partir de una tabla de transiciones de un autómata finito.
Fundamentos de diseño lógico y de computadoras Charles R. Kime y M. Morris Ma...SANTIAGO PABLO ALBERTO
Este documento presenta un libro de texto sobre fundamentos de diseño lógico y de computadoras. El libro es la tercera edición de este texto y cubre temas como sistemas numéricos, circuitos lógicos combinacionales, diseño lógico combinacional, funciones y circuitos aritméticos, circuitos secuenciales, registros y transferencia de registros, secuenciación y control. El libro está escrito en español y fue traducido de la versión en inglés por varios profesores e ingenieros españoles
1. Los lenguajes regulares son aquellos cuyas palabras contienen regularidades o repeticiones de componentes.
2. Un lenguaje es regular si es finito, la unión o concatenación de otros lenguajes regulares, o la cerradura de Kleene de algún lenguaje regular.
3. Las expresiones regulares representan lenguajes regulares mediante símbolos y reglas que definen su estructura.
Este documento describe las funcionalidades del programa DFDDFD para diseñar y depurar diagramas de flujo. Explica cómo crear objetos básicos como entradas, salidas, asignaciones y estructuras de control. También muestra ejemplos sencillos de algoritmos y cómo ejecutarlos y depurarlos para detectar errores. Finalmente, explica los diferentes objetos que se pueden incluir en los diagramas de flujo como variables, operadores y funciones.
Modelamiento del Data Warehouse (caso práctico)LPI ONG
El documento describe las fases para desarrollar una solución de Business Intelligence para la empresa Inca Video. La Fase I implica definir el modelo de negocio identificando los procesos clave, medidas y dimensiones. El proceso de alquiler es seleccionado. La Fase II implica crear el modelo dimensional con tablas de hechos, dimensiones y jerarquías, además de definir llaves artificiales y el grano.
Ejercicios resueltos de investigacion de operacionesSergio Jarillo
Este documento recopila exámenes resueltos de Investigación Operativa de los años 2005 a 2010 de la Facultad de Ciencias Económicas y Empresariales. Incluye problemas de programación lineal entera, programación multiobjetivo, redes y planificación de proyectos. El objetivo es ofrecer ejemplos resueltos de los principales temas de la asignatura para ayudar a los estudiantes a preparar los exámenes.
El documento presenta una introducción a Visual Basic 6.0, incluyendo su historia y evolución, características del entorno de desarrollo como formularios y controles, estructuras de control como If/Then y bucles, y conceptos básicos de programación como objetos, eventos, propiedades y métodos. También cubre temas como la creación de formularios, el manejo de propiedades y la estructura básica de un programa en VB6.
Una lista de adyacencia es una representación de un grafo mediante una lista donde cada entrada contiene los vértices conectados por una arista. Si el grafo es no dirigido, cada entrada contiene un conjunto de dos vértices asociados a una arista. Si es dirigido, cada entrada contiene una tupla con el vértice de origen y destino de un arco.
El documento describe el álgebra de Boole y sus aplicaciones en circuitos lógicos. Introduce el álgebra de Boole, definido por George Boole, que se utiliza para modelar compuertas lógicas y circuitos de interruptores. Explica los axiomas y operaciones básicas del álgebra de Boole, incluidas las leyes de suma, producto y complemento. También cubre conceptos como expresiones booleanas, forma normal de suma de productos, y el uso de diagramas de orden parcial para representar álgebras de Boole finitas.
El documento describe el álgebra de Boole y sus aplicaciones en circuitos lógicos. Introduce el álgebra de Boole, definido por George Boole, que se utiliza para modelar compuertas lógicas y circuitos de interruptores. Explica los elementos, operaciones y propiedades del álgebra de Boole, incluida la dualidad y la representación de expresiones booleanas como suma de productos.
El documento describe el álgebra de Boole y los circuitos lógicos. Explica que el álgebra de Boole define las operaciones lógicas de suma, producto y complemento y sus propiedades. Luego, introduce los circuitos lógicos como dispositivos formados por compuertas lógicas básicas como AND, OR y NOT, cuyas tablas de verdad son equivalentes a las operaciones del álgebra de Boole. Finalmente, describe los mapas de Karnaugh como un método gráfico para simplificar expresiones booleanas y minimizar circuitos
Este documento describe el álgebra de Boole y los circuitos lógicos. Explica que el álgebra de Boole define las operaciones y propiedades de la lógica proposicional, y que los circuitos lógicos implementan estas operaciones usando compuertas como AND, OR y NOT. También introduce métodos para simplificar circuitos lógicos como los mapas de Karnaugh.
1. El álgebra de Boole es un sistema algebraico que modela las operaciones lógicas AND, OR y NOT usando los elementos 0 y 1 y los operadores +, · y '. 2. Una variable booleana solo puede tomar los valores 0 o 1, equivalentes a falso o verdadero. 3. Las operaciones básicas son la suma lógica OR, el producto lógico AND y la negación NOT, con ejemplos de sus tablas de verdad.
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Betzi Lira
El documento define el álgebra de Boole y sus principales conceptos y operaciones. Explica que el álgebra de Boole es un sistema binario que modela las operaciones lógicas AND, OR y NOT. Define variables booleanas y funciones booleanas y describe las operaciones básicas, postulados, teoremas y compuertas lógicas del álgebra de Boole. También explica las formas canónicas y normalizadas de representar funciones booleanas.
Este documento resume la teoría del álgebra de Boole y sus aplicaciones en sistemas digitales. George Boole estableció el álgebra de Boole en 1854 para modelar el razonamiento lógico, estableciendo las operaciones de suma y producto para representar la disyunción y conjunción. El álgebra de Boole se utiliza para analizar y diseñar circuitos digitales compuestos de compuertas lógicas como AND, OR y NOT.
El documento describe el álgebra de Boole, un sistema matemático basado en los valores verdadero y falso. Define operaciones lógicas como AND, OR y NOT y postula propiedades como conmutatividad, asociatividad y distribución. Explica cómo se pueden representar funciones booleanas y simplificarlas usando diagramas de Karnaugh.
ÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptxDarkarBlack
Este documento define el álgebra de Boole y sus principales conceptos. Explica que el álgebra de Boole se define por un conjunto de elementos, operadores binarios y axiomas. Luego describe los postulados de Huntington que definen formalmente el álgebra de Boole, incluyendo conjuntos cerrados, elementos de identidad y dualidad. Finalmente, resume algunos teoremas básicos como la prioridad de operadores y formas canónicas de funciones booleanas.
Este documento describe las álgebras de Boole, que formalizan las operaciones lógicas AND, OR y NOT. Explica que una álgebra de Boole es una estructura algebraica que define conjuntos cerrados bajo operaciones como suma, producto y complemento. También muestra ejemplos como conjuntos, proposiciones lógicas y divisores, y cubre teoremas como la dualidad y la forma canónica de suma de productos.
El documento describe las operaciones fundamentales del álgebra de Boole, incluyendo la suma, el producto y la negación. Define el álgebra de Boole como una estructura algebraica que formaliza las operaciones lógicas Y, O y NO. También explica que el álgebra de Boole se utiliza para modelar sistemas digitales.
Este documento describe el álgebra de Boole y los circuitos lógicos. Explica que el álgebra de Boole define las operaciones lógicas y sus propiedades, y que los circuitos lógicos se construyen a partir de compuertas lógicas como AND, OR y NOT. También introduce métodos para simplificar circuitos lógicos como los mapas de Karnaugh, que permiten encontrar formas minimales de expresiones booleanas.
Este documento presenta los fundamentos del álgebra booleana. Define el álgebra booleana como un sistema algebraico binario compuesto por dos elementos (0 y 1) y dos operaciones (suma y producto). Establece seis axiomas/postulados que describen las propiedades de conmutatividad, asociatividad, distribución, identidad y complementación requeridas. Finalmente, demuestra cómo el conjunto de números enteros satisface dichas propiedades y puede usarse para representar el álgebra booleana.
Este documento describe el álgebra booleana, incluyendo sus postulados, teoremas y aplicaciones en circuitos digitales. El álgebra booleana es un sistema algebraico basado en los valores verdadero y falso que se utiliza para representar proposiciones lógicas. Se define mediante seis postulados fundamentales y varios teoremas. Las expresiones booleanas pueden representar funciones lógicas de circuitos digitales y optimizarse en formas canónicas.
Este documento introduce conceptos básicos sobre conjuntos y números reales. Explica que un conjunto es una colección de objetos con al menos una característica en común, y define operaciones como la unión, intersección y diferencia entre conjuntos. También describe la correspondencia entre números reales y puntos en una recta numérica, e introduce los números irracionales como aquellos puntos cuya coordenada no puede ser expresada como un número racional.
Este documento presenta una introducción al álgebra de Boole. Explica los postulados fundamentales del álgebra de Boole y provee ejemplos de álgebras de Boole como el álgebra de conjuntos, circuitos de conmutación y lógica proposicional. También presenta teoremas importantes del álgebra de Boole y funciones booleanas básicas.
Teoria de conjuntos y Algebra Booleanabrigith piña
George Cantor creó la teoría de conjuntos a mediados del siglo XIX. Posteriormente, Bertrand Russell demostró que la teoría de Cantor era inconsistente. Más adelante, Zermelo y otros sentaron las bases para la teoría axiomática moderna de conjuntos.
Este documento presenta conceptos básicos sobre conjuntos, incluyendo la definición de conjunto, elementos, subconjuntos, conjunto potencia, igualdad de conjuntos, unión de conjuntos, diferencia y complemento, leyes de De Morgan, álgebra de conjuntos, producto cartesiano, operaciones generalizadas sobre familias de conjuntos, partición y cardinalidad.
1) La lógica proposicional describe las operaciones lógicas entre proposiciones como la negación, conjunción, disyunción, condicional y bicondicional. Se definen mediante tablas de verdad.
2) La teoría de conjuntos describe conceptos como el conjunto vacío, la pertenencia, las operaciones entre conjuntos como la unión e intersección, y la correspondencia entre conjuntos y proposiciones lógicas.
3) El documento también introduce conceptos como los números naturales, el principio de inducción, familias de
Los puentes son estructuras esenciales en la infraestructura de transporte, permitiendo la conexión entre diferentes
puntos geográficos y facilitando el flujo de bienes y personas.
Aletas de Transferencia de Calor o Superficies Extendidas.pdfJuanAlbertoLugoMadri
Se hablara de las aletas de transferencia de calor y superficies extendidas ya que son muy importantes debido a que son estructuras diseñadas para aumentar el calor entre un fluido, un sólido y en qué sitio son utilizados estos materiales en la vida cotidiana
1. Álgebra Booleana y Circuitos
Lógicos
UCR – ECCI
CI-0111 Estructuras Discretas
Prof. Kryscia Daviana Ramírez Benavides
2. 2
Álgebra Booleana
Tanto los conjuntos como las proposiciones tienen
propiedades similares. Estas propiedades se usan para definir
una estructura matemática llamada álbebra de Boole o
álgebra booleana, en honor de George Boole (1813-1864).
Esta álgebra se utiliza en dos casos concretos:
Compuertas lógicas.
Circuitos de interruptores.
3. 3
Álgebra Booleana (cont.)
Sea B un conjunto en el cual se han definido dos operaciones
binarias, + y *, y una operación unitaria, denotada ’; sean 0 y 1
dos elementos diferentes de B. Entonces a la sextupla
se le llama álgebra de Boole si se cumplen los axiomas de la
tabla para elementos a, b y c cualesquiera en el conjunto B:
Leyes conmutativas.
Leyes distributivas.
Leyes de identidad.
Leyes de complemento.
1,0,',*,,B
4. 4
Álgebra Booleana (cont.)
Aspectos importantes del álgebra:
Al elemento 0 se le llama el elemento cero.
Al elemento 1 se le llama elemento unidad.
A la operación unitaria a’ se le llama complemento de a.
A los resultados de las operaciones binarias + y * se les llama,
respectivamente, suma y producto.
Aparte de los axiomas, en la tabla se muestran otras
propiedades que tiene el álgebra de Boole, que se pueden
obtener mediante los axiomas.
6. 6
Álgebra Booleana (cont.)
Ejemplos:
Sea B el conjunto de dos elementos, {0,1}, con operaciones + y *
definidas:
Los complementos se defines por 1’ = 0 y 0’ = 1.
El ejemplo anterior se puede extender para sucesiones de n bits,
sea Bn.
000
011
01*
010
111
01
7. 7
Álgebra Booleana (cont.)
Ejemplos:
Sea ζ una colección de conjuntos cerrados bajo uniones,
intersecciones y complementos. Se tiene como elemento cero al
conjunto vacío y como elemento unidad al conjunto universal
U.
Sea Π el conjunto de proposiciones, que tiene como operaciones
y , con la negación como complemento. Se tiene como
elemento cero una contradicción f y como elemento unidad una
tautología t.
U,,,,,
tf ,,,,,
8. 8
Álgebra Booleana (cont.)
Ejemplos:
Sea D70 = {1,2,5,7,10,14,35,70}, los divisores de 70. Se tienen las
operaciones de mínimo común múltiplo de a y b como la suma,
máximo común divisor de a y b como el producto, y 70 dividido
entre a el complemento de a. Se tiene como elemento cero al 1 y
como elemento unidad al 70.
70,1,70),,(),,(,70 abaMCDbaMCMD
9. 9
Dualidad
El dual de cualquier enunciado en un álgebra de Boole B es el
enunciado obtenido al intercambiar las operaciones + y *, e
intercambiar los correspondientes elementos identidad 0 y 1,
en el enunciado original.
Ejemplo: (1 + a) * (b + 0) = b el dual es: (0 * a) + (b * 1) = b
Principio de Dualidad: El dual de cualquier teorema en un
álgebra de Boole es también un teorema.
En otras palabras, si cualquier enunciado es una consecuencia de
los axiomas de un álgebra de Boole, entonces el dual también es
una consecuencia de estos axiomas; ya que el enunciado dual se
puede probar usando el dual de cada paso en la demostración del
enunciado original.
10. 10
Orden y Álgebra de Boole
Una relación es un conjunto S se llama un orden parcial en
S si cumple las tres propiedades siguientes:
a a, a S.
Si a b y b a, entonces a = b.
Si a b y b c, entonces a c.
Un conjunto S junto con un orden parcial se llama conjunto
parcialmente ordenado. En tal caso se puede escribir y leer:
a b a precede a b.
a b a precede estrictamente a b, si a b pero a ≠ b.
a b a sigue a b, si b a.
a b a sigue estrictamente a b, si b a.
~
~
~~
~~
~
~
~
~
~
11. 11
Orden y Álgebra de Boole (cont.)
El término parcial se usa al definir un conjunto parcialmente
ordenado S, porque puede haber elementos a y b de S que no
son comparables, o sea, tales que ni a b ni b a.
Si por otra parte, todo par de elementos de S es comparable,
entonces se dice que S es totalmente ordenado, o
linealmente ordenado, y S se denomina cadena.
~ ~
12. 12
Orden y Álgebra de Boole (cont.)
Ejemplos:
Sea ζ una clase cualquiera de conjuntos, la relación de inclusión
es un orden parcial de ζ.
En los números enteros positivos, se dice que “a divide a b”,
escrito a | b, si existe un entero c tal que ac = b; esta relación de
divisibilidad es un orden parcial en N. Notar que, por ejemplo, 3 y
5 no son comparables ya que ninguno divide al otro.
La relación ≤ también es un orden parcial de los enteros positivos
N. Notar que N es totalmente ordenado por medio de esta
relación.
13. 13
Orden y Álgebra de Boole (cont.)
Sea B un álgebra de Boole; B es entonces parcialmente
ordenado, siendo a b si y sólo si a + b = b.
Sea B cualquier álgebra de Boole; entonces para cualquier
elemento a de B, 0 a 1, ya que 0 + a = a y a + 1 = 1.
Ejemplos:
El álgebra de Boole de conjuntos, el conjunto A precede al conjunto B si
A es subconjunto de B.
El álgebra de Boole del cálculo proposicional, la proposición P precede a
la proposición Q si P implica lógicamente a Q.
~
~ ~
14. 14
Orden y Álgebra de Boole (cont.)
Un conjunto finito parcialmente ordenado S y, en particular,
un álgebra de Boole finita S, se puede representar por un
diagrama de la siguiente manera.
Un elemento B de S se dice que es un sucesor inmediato de un
elemento a, escrito a b; si a b, pero no hay ningún elemento x
de S tal que a x b.
Los elementos se representan por puntos y habrá una flecha, o una
línea dirigida hacia arriba, de un elemento a a un elemento b cada
vez que a b.
En caso de que S sea un álgebra de Boole, el elemento cero estará
en la parte más baja del diagrama y el elemento unidad en la parte
más alta.
15. 15
Orden y Álgebra de Boole (cont.)
Ejemplo: Sea A = {a,b,c},
y sea ζ(A) la colección de
todos los subconjuntos de
A: ζ(A) = [A, {a,b}, {a,c},
{b,c}, {a}, {b}, {c}, ].
ζ(A) es un álgebra de Boole
de conjuntos cuyo diagrama
se muestra a la derecha,
observar que está abajo
en el diagrama y A está
arriba.
A
{a,b} {a,c} {b,c}
{a} {b} {c}
16. 16
Orden y Álgebra de Boole (cont.)
Sea B una álgebra de Boole, entonces:
Un elemento a de B se llama átomo de B si es un sucesor
inmediato del elemento cero. En el diagrama anterior, los átomos
son: {a}, {b} y {c}.
Un elemento M de B se llama maxitérmino (maxterm) de B si el
elemento unidad es su único sucesor estricto. En el diagrama
anterior, los maxitérminos son: {a,b}, {a,c} y {b,c}.
Sea B una álgebra de Boole finita con n átomos; entonces B
tiene 2n elementos, y todo elemento no nulo de B es la suma
de un conjunto único de átomos.
17. 17
Expresiones de Boole
Una expresión booleana E en un conjunto de variables (x1, x2,
…, xn), algunas veces escrito E(x1, x2, …, xn), es una variable o
una expresión construida con estas variables que usan las
operaciones booleanas +, * y ’.
Ejemplos:
E(x,y,z) = (x + y’z)’ + (xyz’ + x’y)’
E(x,y,z) = ((xy’z’ + y)’ + x’z)’
18. Expresiones de Boole (cont.)
Cuando se trabaja con expresiones booleanas, es deseable que
estas se encuentren expresadas en una de dos formas:
Suma de productos o minitérminos o forma normal disyuntiva
(FND).
Producto de sumas o maxitérminos o forma normal conjuntiva
(FNC).
Esas dos formas básicas de expresiones son canónicas y
permiten asociar a una función una expresión algebraica única
(la tabla de verdad también es única).
Se puede pasar una expresión booleana a suma de productos o
producto de sumas utilizando las leyes distributivas.
18
19. Expresiones de Boole (cont.)
Suma de productos. Consiste de dos o más grupos de
literales, cada literal es recibida como entrada por un AND y
la salida de cada una de estas compuertas (AND) es recibida
como entrada por una compuerta OR.
Cuando dos o más productos se suman mediante la suma
booleana.
Producto de sumas. Un producto de sumas consiste de dos o
más grupos de literales, cada literal es recibida como entrada
por un OR y la salida de cada una de estas compuertas (OR) es
recibida como entrada por una compuerta AND.
Cuando dos o más términos de suma se multiplican mediante la
multiplicación booleana.
19
20. Expresiones de Boole (cont.)
Si tal tabla de verdad ha sido dada, entonces la expresión
booleana en:
FND puede escribirse por inspección, a cada conjunto de
condiciones para los cuales la expresión booleana sea 1,
corresponderá un término en la FND.
La suma de estos términos da la función aunque no
necesariamente en la forma más simple.
FNC puede escribirse por inspección, a cada conjunto de
condiciones para los cuales la expresión booleana sea 0,
corresponderá un término en la FNC.
La multiplicación de estos términos da la función aunque no
necesariamente en la forma más simple.
20
21. Expresiones de Boole (cont.)
Dada la tabla de verdad:
FND → Y = ABC + AB’C + A’BC + A’BC’
FNC → Y = (A + B + C’)(A + B’ + C’)(A’ + B’ + C)(A’ + B’ +
C’)
21
A 00001111
B 00110011
C 01010101
Y 00110101
22. 22
Expresiones de Boole (cont.)
Un literal es una variable o una variable complementada, por
ejemplo: x, x’, etc.
Un producto fundamental es un literal o un producto de dos
o más literales en los cuales no hay dos literales con una
misma variable, por ejemplo: x, x’, xy, x’y, xz’, x’yz, etc.
Un producto de Boole es producto de dos o más literales, por
ejemplo: xyx’z, xyzy, etc.
xyx’z = xx’yz = 0yz = 0 (x * x’ = 0 por la ley del complemento)
xyzy = xyyz = xyz (y * y = y por la ley de idempotencia)
Todo producto de Boole se puede reducir a 0 o a un
producto fundamental.
23. 23
Expresiones de Boole (cont.)
Un producto fundamental P1 se dice que está incluido o
contenido en otro producto fundamental P2, si los literales de
P1 son también literales de P2; por lo tanto P1 + P2 = P1 por la
ley de absorción.
x’z + xy’z (x’z no está incluido en xy’z)
x’z + x’yz = x’z (x’z está incluido en x’yz)
Una expresión de Boole E se dice que está en forma de suma
de productos o en forma minitérmino (miniterm) si E es un
producto fundamental o, es la suma de dos o más productos
fundamentales, ninguno de los cuales está incluido en otro.
E1 = x’z + xy’z + x’yz (E1 no está en forma de suma de productos)
E2 = xz’ + x’yz’ + xy’z (E2 está en forma de suma de productos)
24. 24
Expresiones de Boole (cont.)
Toda expresión de Boole no nula E se puede poner en forma
de suma de productos con el siguiente procedimiento:
Usando las leyes de DeMorgan y la involución, se puede mover la
operación de complemento dentro de cualquier paréntesis hasta
que finalmente se aplique solamente a variables. E consistirá
entonces solamente en sumas y productos de literales.
Usando la ley distributiva, se puede transformar E en una suma de
productos.
Usando las leyes conmutativas, de idempotencia y de
complemento, se puede transformar cada producto en E en 0 o en
un producto fundamental.
Usando la ley de absorción, se puede poner E en forma de suma
de productos.
26. 26
Expresiones de Boole (cont.)
Una expresión de Boole no nula E(x1, x2, …, xn) se dice que
está en forma completa de suma de productos si E está en
forma de suma de productos, y en cada producto se usan todas
las variables.
Cualquier expresión de Boole E que sea una suma de
productos se puede escribir en forma completa de suma de
productos.
Si un producto fundamental P de E no usa xi, entonces se puede
multiplicar P por xi + xi’; esto se puede hacer ya que xi + xi’ = 1.
Así se continua hasta que todos los productos usen todas las
variables.
Además, la representación que se obtiene de E en forma
completa de suma de productos es única.
28. 28
Compuertas Lógicas
Los circuitos lógicos, que pronto se explicarán, se construyen
a partir de ciertos circuitos elementales llamados compuertas
lógicas.
A continuación se presentan dos tablas, donde se resumen las
compuertas lógicas más importantes.
29. 29
Compuerta Lógica Tabla de VerdadExpresión Circuito de Interruptores
A B X
0 0 0
0 1 0
1 0 0
1 1 1
X = AB
AND
A
B
X A B
A X
0 1
1 0
X = A’
NOT
A X
A’
A B X
0 0 0
0 1 1
1 0 1
1 1 1
OR
A
B
X
X = A + B
A
B
A B X
0 0 0
0 1 1
1 0 1
1 1 0
X = A Å B
X = A’B AB’
A’ B
A B’
XOR
(OR exclusivo)
A
B
X
Compuertas Lógicas (cont.)
30. 30
Compuertas Lógicas (cont.)
Compuerta Lógica Tabla de VerdadExpresión Circuito de Interruptores
A B X
0 0 1
0 1 1
1 0 1
1 1 0
X = (AB)’
NAND
A
B
X A’
B’
A X
0 0
1 1
X = (A’)’ X = A
A
A X
A B X
0 0 1
0 1 0
1 0 0
1 1 0
X = (A + B)’
NOR
A
B
X A’ B’
A B X
0 0 1
0 1 0
1 0 0
1 1 1
X = (A Å B)’ A Ä B
X = A’B’ AB
A’ B’
A B
NOR
(exclusivo)
A
B
X
31. 31
Circuitos Lógicos
Los circuitos lógicos se pueden visualizar como máquinas que
contienen uno o más dispositivos de entrada y exactamente un
dispositivo de salida.
En cada instante cada dispositivo de entrada tiene exactamente
un bit de información, un 0 o un 1; estos datos son procesados
por el circuito para dar un bit de salida, un 0 o un 1, en el
dispositivo de salida.
De esta manera, a los dispositivos de entrada se les puede
asignar sucesiones de bits que son procesadas por el circuito
bit por bit, para producir una sucesión con el mismo número
de bits.
32. 32
Circuitos Lógicos (cont.)
Un bit se puede interpretar como un voltaje a través de un
dispositivo de entrad/salida; aun más, una sucesión de bits es
una sucesión de voltajes que pueden subir o bajar (encendido
o apagado).
Se puede suponer que el circuito siempre procesa la sucesión
de izquierda a derecha o de derecha a izquierda. Si no se dice
otra cosa se adopta la primera convención.
33. 33
Circuitos Lógicos (cont.)
Las tablas de verdad para las compuertas lógicas AND, OR y
NOT, que se mostraron en la tablas anteriores, son
respectivamente idénticas a las correspondientes
proposiciones de conjunción (p q), disyunción (p q) y
negación (p).
La única diferencia entre las tablas de verdad de las
compuertas y las proposiciones es que se usa el 1 y 0, en vez
de V y F.
Así que las compuertas lógicas satisfacen las mismas leyes de
las proposiciones, y así forman un álgebra de Boole.
34. 34
Circuitos Lógicos (cont.)
Los circuitos lógicos vienen en varios patrones. Se tratará
especialmente un patrón que corresponde a una expresión de
Boole de suma de productos.
Un circuito AND-OR tiene varias entradas, con algunas de las
entradas o sus complementos alimentando cada compuerta AND.
Las salidas de todas las compuertas AND alimentan una sola
compuerta OR, la cual de al salida para el circuito.
En casos límite, puede haber una sola compuerta AND sin una
compuerta OR, o ninguna compuerta AND y una sola compuerta
OR.
36. 36
Circuitos Lógicos (cont.)
Dado cualquier circuito lógico L, se quiere averiguar el efecto
de L en cualquier entrada arbitraria; usualmente esto se
especifica por medio de una tabla de verdad.
La tabla de verdad de L se obtiene escribiendo primero L
como una expresión de Boole L(A,B,C,…), y calculando
entonces la tabla de verdad paso por paso.
La expresión de Boole se obtiene del circuito siguiendo las
entradas a través de todas las compuertas.
37. 37
Circuitos Lógicos (cont.)
Para el circuito anterior se obtiene la siguiente tabla de verdad:
A = 00001111
B = 00110011
C = 01010101
Y = 00110101
A
B
C
Y
00001111
00110011
01010101
00110101
ABC = 00000001
AB’C = 00000100
A’B = 00110000
38. 38
Circuitos Lógicos (cont.)
Como los circuitos lógicos forman un álgebra de Boole, se
puede usar los teoremas (axiomas y propiedades) del álgebra
para simplificar los circuitos.
Así el circuito anterior puede ser reemplazado por el circuito
lógico más sencillo que se puede formar de la expresión de
Boole resultante.
Los dos circuitos lógicos son equivalentes, es decir, tienen la
misma tabla de verdad.
BAACBAACY
BABBACBACABABCY
''1
''''
40. 40
Circuitos Lógicos (cont.)
La tabla de verdad (única) de una expresión de Boole equivale
a la única forma completa de suma de productos que se puede
obtener de una expresión de Boole.
Esta correspondencia surge del hecho que se asigna cualquier
combinación de 1s y 0s a las variables, cada uno de los
productos fundamentales que involucran todas las variables de
la salida toma el valor 1; todos los demás toman el valor de 0.
Por lo tanto, de la tabla de verdad se puede obtener, por
inspección, la forma completa de suma de productos y
recíprocamente.
41. 41
Circuitos Lógicos (cont.)
La forma completa de suma de productos de la expresión de
Boole anterior es:
''''
'''
'
BCABCACABABCY
CCBABBACY
BAACY
42. 42
Circuitos Lógicos (cont.)
La tabla de verdad (única) de la expresión de Boole que se
obtiene de la forma completa de suma de productos es:
A
B
C
Y
00001111
00110011
01010101
00110101
43. 43
Expresiones Boolenas Minimales
Si E es una expresión de Boole de suma de productos, EL
denotará el número de literales en E (contados de acuerdo con
la multiplicidad), y ES denotará el número de sumandos en E.
Ejemplo: E(a,b,c,d) = abc’ + a’b’d + ab’c’d + a’bcd, entonces EL
= 14 y ES = 4.
Sea ahora F una expresión de Boole de suma de productos
equivalente de E, entonces se dice que E es más simple que F
si EL ≤ FL y ES ≤ FS, y por lo menos una de las relaciones es
una desigualdad estricta.
44. 44
Expresiones Boolenas Minimales (cont.)
Una expresión de Boole está en forma minimal de suma de
productos o suma minimal, si está en forma de suma de
productos y no hay ninguna otra expresión equivalente en
forma de suma de productos que sea más simple que E.
Un producto fundamental P se llama implicante primo de
una expresión de Boole E si P + E = E, pero ningún otro
producto fundamental incluido en P tiene esta propiedad.
Ejemplo: P = xz’ es implicante primo de E(x,y,z) = xy’ + xyz’ +
x’yz’.
Si una expresión de Boole E está en forma minimal de
suma de productos, entonces cada sumando de E es un
implicante primo de E.
45. 45
Expresiones Boolenas Minimales (cont.)
El método de consenso se puede usar para representar
cualquier expresión de Boole como la suma de todos sus
implicantes primos.
Una manera de encontrar una suma minimal para E es
expresar cada implicante primo en forma completa de suma de
productos, y quitar uno por uno aquellos implicantes primos
cuyos sumandos aparecen entre los sumandos de los
implicantes primos que quedan.
48. 48
Expresiones Boolenas Minimales (cont.)
En el ejemplo anterior se puede quitar alguno de dos
implicantes primos, x’z’ o yz’, y de esta manera se obtiene
para la expresión de Boole E dos formas de suma minimal; lo
cual muestra que la suma minimal para una expresión de
Boole no es necesariamente única.
El método de consenso para encontrar formas de suma
minimal para expresiones de Boole es directo, pero
ineficiente.
Por este motivo, a continuación se dará un método
geométrico, llamado mapas de Karnaugh, cuando el número
de variables no es muy grande.
49. 49
Mapas de Karnaugh
Los mapas de Karnaugh son maneras pictóricas de encontrar
implicantes primos y formas de sumas minimales para las
expresiones de Boole que involucran máximo seis variables.
Los casos que estudiaremos serán de dos, tres y cuatro
variables.
Estos mapas se representan por cuadrados los productos
fundamentales en las mismas variables. Dos productos
fundamentales son adyacentes si difieren en exactamente un
literal, lo cual tiene que ser una variable complementada en un
producto y no complementada en el otro.
50. 50
Mapas de Karnaugh (cont.)
Caso de dos variables.
Un implicante primo de
E(x,y) será una pareja de
cuadrados adyacentes o un
cuadrado aislado (un
cuadrado que no está
adyacente a ningún otro
cuadrado).
x
x’
y y’
x
x’
y y’
xy xy’
x’y x’y’
y’ sombreado
x
x’
y y’
y sombreado
x
x’
y y’
x sombreado
x
x’
y y’
x’ sombreado
x
x’
y y’
51. 51
Mapas de Karnaugh (cont.)
Caso de dos variables.
Ejemplos:
x
x’
y y’
ü ü
E1(x,y) = xy + xy’
Suma Minimal
E1(x,y) = x
x
x’
y y’
ü
ü ü
E2(x,y) = xy + x’y + x’y’
Suma Minimal
E2(x,y) = x’ + y
x
x’
y y’
ü
ü
E3(x,y) = xy + x’y’
Suma Minimal
E3(x,y) = xy + x’y’
52. 52
Mapas de Karnaugh (cont.)
Caso de tres variables.
Un implicante primo de
E(x,y,z) será una pareja de
cuadrados adyacentes, un
conjunto de cuatro
cuadrados adyacentes o un
cuadrado aislado (un
cuadrado que no está
adyacente a ningún otro
cuadrado).
yz yz’ y’z’ y’z
x
x’
yz yz’ y’z’ y’z
x
x’
xyz xyz’
x’yz x’yz’
xy’z’ xy’z
x’y’z’ x’y’z
x sombreado
yz yz’ y’z’ y’z
x
x’
x’ sombreado
yz yz’ y’z’ y’z
x
x’
yz yz’ y’z’ y’z
x
x’
y sombreado y’ sombreado
yz yz’ y’z’ y’z
x
x’
yz yz’ y’z’ y’z
x
x’
z’ sombreadoz sombreado
yz yz’ y’z’ y’z
x
x’
53. 53
Mapas de Karnaugh (cont.)
Caso de tres variables.
Ejemplos:
E1(x,y,z) = xyz + xyz’ + x’yz’ + x’y’z
Suma Minimal
E1(x,y,z) = xy + yz’ + x’y’z
yz yz’ y’z’ y’z
x
x’
ü ü
ü ü
E2(x,y,z) = xyz + xyz’ + xy’z + x’yz + x’y’z
Suma Minimal
E2(x,y,z) = z + xy
yz yz’ y’z’ y’z
x
x’
ü ü
ü
ü
ü
E3(x,y,z) = xyz + xyz’ + x’yz’ + x’y’z + x’y’z’
Suma Minimal
E3(x,y,z) = xy + yz’ + x’y’
E3(x,y,z) = xy + x’z’ + x’y’
yz yz’ y’z’ y’z
x
x’
ü ü
ü ü ü
54. 54
Mapas de Karnaugh (cont.)
Caso de cuatro variables.
Un implicante primo de
E(x,y,z,w) será una pareja
de cuadrados adyacentes,
un conjunto de cuatro
cuadrados adyacentes, un
conjunto de ocho cuadrados
adyacentes o un cuadrado
aislado (un cuadrado que no
está adyacente a ningún
otro cuadrado).
zw zw’ z’w’ z’w
xy
xy’
x’y’
x’y
zw zw’ z’w’ z’w
xy
xy’
xyzw xyzw’
xy’zw xy’zw’
xyz’w’ xyz’w
xy’z’w’ xy’z’w
x’y’
x’y
x’y’zw x’y’zw’
x’yzw x’yzw’
x’y’z’w’ x’y’z’w
x’yz’w’ x’yz’w
x sombreado
zw zw’ z’w’ z’w
xy
xy’
x’y’
x’y
y sombreado
zw zw’ z’w’ z’w
xy
xy’
x’y’
x’y
w sombreado
zw zw’ z’w’ z’w
xy
xy’
x’y’
x’y
z sombreado
zw zw’ z’w’ z’w
xy
xy’
x’y’
x’y
55. 55
Mapas de Karnaugh (cont.)
Caso de cuatro variables.
Ejemplos:
zw zw’ z’w’ z’w
xy
xy’ ü ü
ü ü
x’y’
x’y
ü ü
ü
E1(x,y,z,w) = xyz’w + xyz’w’ + xy’zw + xy’zw’ +
x’y’zw + x’y’zw’ + x’yz’w’
Suma Minimal
E1(x,y,z,w) = y’z + xyz’ + yz’w’
zw zw’ z’w’ z’w
xy
xy’
ü
ü ü ü ü
x’y’
x’y
ü ü ü ü
E2(x,y,z,w) = xyzw’ + xy’zw + xy’zw’ + xy’z’w +
xy’z’w’ + x’y’zw + x’y’zw’ + x’y’z’w + x’y’z’w’
Suma Minimal
E2(x,y,z,w) = y’ + xzw’
zw zw’ z’w’ z’w
xy
xy’
ü
ü
ü
x’y’
x’y
ü ü
ü
ü ü
ü
E3(x,y,z,w) = xyzw + xyz’w + xy’zw’ + x’yzw +
x’yz’w + x’y’zw + x’y’zw’ + x’y’z’w + x’y’z’w’
Suma Minimal
E3(x,y,z,w) = yw + x’y’ + y’zw’
56. 56
Conceptos de los K-mapa
El producto de los literales que corresponde a un bloque de
todos los 1s en el K-mapa (mapa de Karnaugh) se llama
implicante de la función que es minimizada.
Los implicantes primos son los grupos de 1s que se forman en
el K-mapa.
Los implicantes primos esenciales son los grupos de 1s que
forman parte de la suma minimal.
57. 57
Conceptos de los K-mapa
Ejemplo
Usar K-mapas para minimizar las siguientes sumas de
productos. Indique los implicantes, implicantes primos e
implicantes primos esenciales.
xyz + xyz’ + xy’z + xy’ z’ + x’yz + x’ y’z + x’y’z’
xyz’ + xy’z’ + x’y’z + x’y’z’
58. 58
Conceptos de los K-mapa
Ejemplo
K-map de xyz + xyz’ + xy’z + xy’ z’ + x’yz + x’ y’z + x’y’z’
Implicantes: xyz + xyz’ + xy’z + xy’ z’ + x’yz + x’ y’z + x’y’z’
Implicantes primos: x + y’ + z
Implicantes primos esenciales: x + y’ + z
60. 60
Circuitos Minimales AND-OR
Se puede aplicar toda la teoría anterior a un importante
problema de diseño de circuitos, que tiene dos versiones un
poco diferentes:
La construcción de un circuito AND-OR cuya expresión de Boole
está en la forma de suma minimal (un circuito minimal AND-OR)
y que es equivalente a un circuito lógico L dado.
La construcción de un circuito minimal AND-OR que tendrá una
tabla de verdad prescrita.
61. 61
Circuitos Minimales AND-OR (cont.)
A
B
C
L
00001111
00110011
01010101
11001101
L(A,B,C) = A’B’C’ + A’B’C + AB’C’ + AB’C + ABC
Suma Minimal
L(A,B,C) = AC + B’
BC BC’ B’C’ B’C
ü
ü ü
A ü
A’
ü
AND
OR
C
B
A
L = AC + B’
A
C
B’
AC
62. 62
Referencias Bibliográficas
Rosen, Kenneth. “Discrete Mathematics and Its Applications”.
Séptima Edición, Mc Graw Hill. New York, 2012.
Jonnsonbaugh, Richard. “Matemáticas Discretas”. Prentice
Hall, México. Sexta Edición, 2005.