Clase 5.2.1 Formas canónicas -RSMN

Description

Mind Map on Clase 5.2.1 Formas canónicas -RSMN, created by Giovanni Carrasco Martinez on 23/11/2017.
Giovanni Carrasco Martinez
Mind Map by Giovanni Carrasco Martinez, updated more than 1 year ago
Giovanni Carrasco Martinez
Created by Giovanni Carrasco Martinez over 6 years ago
33
0

Resource summary

Clase 5.2.1 Formas canónicas -RSMN
  1. 6.2.- FORMAS CANÓNICAS
    1. Término Producto
      1. Se llama término producto una expresión booleana que solamente incluye operaciones AND entre sus variables (afirmadas o negadas)
      2. Forma SP
        1. Una función booleana se dice que esta en la forma de suma de productos (SP) si está formada exclusivamente por la suma (OR) de términos producto.
        2. Mintérmino
          1. Es un término producto que contiene todas las variables de la función.
          2. Forma Canónica SP
            1. Si los términos producto de una función booleana en la forma SP son todos mintérminos, se dice que está en la forma canónica SP.
            2. Término Suma.
              1. - Se llama término suma a una expresión booleana que solamente incluye operaciones OR entre sus variables (afirmadas o negadas)
              2. Forma PS.
                1. - Una función booleana se dice que esta en la forma de producto de sumas (PS) si está formada exclusivamente por el producto (AND) de términos suma.
                2. Maxtérminos
                  1. .- Son términos suma que contienen todas las variables de la función.
                  2. Forma Canónica PS
                    1. .- Si los términos suma de una función booleana en la forma PS son todos maxtérminos, se dice que está en la forma canónica PS.
                    2. Notación
                      1. Una manera de simplificar la escritura de las funciones en forma canónica consiste en representar sus términos por números bianrios, en base a la siguiente convención
                    3. 6.2.1.- RELACIÓN ENTRE MINTÉRMINOS Y MAXTÉRMINOS
                      1. Usando el teorema de D’Morgan podemos obtener la equivalencia entre mintérminos y maxtérminos como sigue. Tomemos como ejemplo el mintérmino m2 de la función f3(A,B,C) y obtengamos su complemento:
                      2. 6.2.2.- OBTENCIÓN DE FORMAS CANÓNICAS CON ÁLGEBRA BOOLEANA
                        1. Obtención de la forma canónica SP.- Partiendo de una expresión booleana cualesquiera se puede seguir el siguiente procedimiento
                          1. 1) Escribir la expresión en forma SP 2) A cada término producto multiplicarlo por 1 escrito en términos de la variable faltante. Hacer esto tantas veces como variables falten al término producto 3) Aplicar distributividad del producto sobre la suma. 4) Aplicar idempotencia a términos semejantes.
                          2. Obtención de la forma canónica PS.- Partiendo de una expresión booloeana cualesquiera se puede seguir el siguiente procedimiento
                            1. 1) Escribir la expresión en forma PS 2) A cada término suma sumarle 0 escrito en términos de la variable faltante. Hacer esto tantas veces como variables falten al término suma 3) Aplicar distributividad de la suma sobre el producto 4) Aplicar idempotencia a términos semejantes.
                          3. 6.2.3.- RELACIÓN ENTRE LAS FORMAS CANÓNICAS Y LA TABLA DE VERDAD
                            Show full summary Hide full summary

                            Similar

                            What were the Cause and Consequences of The Cuban Missile Crisis October 1962
                            matthewnr73
                            Contract Law
                            Tim Mitchell
                            BIOLOGY B1 1
                            x_clairey_x
                            Geography Unit 1, World at Risk Compulsory Case Study 3 - Impact of climate change on the Arctic region
                            Holly Lovering
                            FCE Practice Fill In The Blank
                            Christine Sang
                            An Inspector Calls -- Themes
                            Sadia Aktar
                            Longevidad y Envejecimiento Fisiológico
                            Isaac Alexander
                            Penson
                            Roslyn Penson
                            Marketing and Distributing
                            Shannon Clarke
                            Psychology Key Words Research Methods
                            Alfie Moorhead
                            Les Aliments
                            dAnn dAnn