0% acharam este documento útil (0 voto)

32 visualizações31 páginas

Modulo 02 Algebra Boole

O documento aborda o Módulo 2 de Álgebra de Boole e Funções Lógicas, introduzindo conceitos fundamentais como operações básicas (AND, OR, NOT), propriedades e leis de DeMorgan. Ele também discute a simplificação algébrica e a implementação de circuitos lógicos utilizando portas NAND e NOR, além de apresentar a representação normalizada de funções booleanas através de mintermos e maxtermos. O conteúdo é essencial para a compreensão de sistemas digitais e circuitos lógicos.

Enviado por

brunonaruto03

Direitos autorais

Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.

Formatos disponíveis

Baixe no formato PDF, TXT ou leia on-line no Scribd

0% acharam este documento útil (0 voto)

32 visualizações31 páginas

Modulo 02 Algebra Boole

Enviado por

brunonaruto03

Direitos autorais

Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.

Formatos disponíveis

Baixe no formato PDF, TXT ou leia on-line no Scribd

Você está na página 1/ 31

Universidade de Coimbra

SDM/SE/TSE
Módulo 2
Álgebra de Boole & Funções Lógicas

João Cardoso

2023/2024
Resumo

1. Álgebra de Boole
Introdução
Operações Básicas
Álgebra de Boole Binária
Propriedades
Leis de DeMorgan
Portas Lógicas
Funções Booleanas
Simplificação Algébrica

2. Funções Lógicas
Tabela de Funções Lógicas
Circuitos com Portas NAND
Representação normalizada
MinTermos
MaxTermos

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 2 / 31

Álgebra de Boole

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 3 / 31

Introdução

A lógica como um sistema binário:

Em 1854, George Boole, Professor de Matemática da Universidade de Cork
(Irlanda), publicou o livro:

”An Investigation on The Laws of Thought, on which are the Mathematical Theories
of Logic and Probabilities”.

Este trabalho, mais tarde refinado por Jevons (1869, 1890), (1880), Schröder
(1890) e Huntingdon (1904), considera um sistema lógico binário, i.e., com dois
objectos que se podem designar por:
sim-não, verdadeiro-falso ou ainda 1-0

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 4 / 31

Operações Básicas

Operações Básicas:
▶ Boole define ainda três operações básicas: AND, OR, NOT.
▶ Considere-se duas variáveis booleanas:
x, y ∈ {0, 1}, i.e., x, y ∈ {f also, verdadeiro}

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 5 / 31

Álgebra de Boole

Operações Básicas:
▶ Boole define ainda três operações básicas: AND, OR, NOT.
▶ Considere-se duas variáveis booleanas:
x, y ∈ {0, 1}, i.e., x, y ∈ {f also, verdadeiro}

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 6 / 31

Álgebra de Boole Binária

Álgebra de Boole binária:

▶ A extensão ao trabalho de George Boole por Jevons (1869, 1890), Peirce

(1880), Schröder (1890) e Huntingdon (1904), define:

Uma Álgebra de Boole binária é um sistema algébrico B2 = (A = {0, 1}, ., +,− )

formado por um conjunto gerador A e por duas operações binárias, . , +, designadas
por produto lógico e soma lógica, e por uma operação designada por complemento, tal
que:

Propriedade de Fecho: ∀x,y∈A (x · y ∈ A) ∧ (x + y ∈ A) ∧ (x ∈ A)

i.e. O resultado da aplicação de uma ou mais operações básicas sobre o conjunto

gerador A, é um valor binário pertencente ao espaço do conjunto gerador A.

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 7 / 31

Propriedades

Propriedades básicas:
Considere-se as variáveis booleanas: x, y, z ∈ A

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 8 / 31

Propriedades

Princı́pio da Dualidade
▶ Qualquer expressão válida numa álgebra de Boole tem uma expressão dual,
também válida nessa álgebra, que se obtém por troca do sı́mbolo operatório
+ com o sı́mbolo operatório · e do limite universal 0 com o limite universal
1.

Exemplo:
x · 1 = x é a expressão dual de x + 0 = x

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 9 / 31

Propriedades

Outros teoremas:
Considere-se as variáveis booleanas: x, y, z ∈ A

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 10 / 31

Leis de DeMorgan

Demonstração das leis de DeMorgan

▶ Generalização para n variáveis:

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 11 / 31

Leis de DeMorgan

Aplicação sucessiva das leis de DeMorgan

Exemplo:

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 12 / 31

Portas Lógicas
Portas Lógicas:
▶ Na prática os sistemas digitais baseiam-se na Álgebra de Boole, sendo

implementados a partir de um conjunto de portas lógicas base.

▶ Nas tecnologias mais comuns, o circuito lógico distingue 2 intervalos

distintos de tensão, os quais são interpretados como ”um”ou ”zero”

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 13 / 31

Funções Booleanas

Função Booleana (exemplo):

f =a·b+c
a, b e c são os termos da função
booleana

Circuito Lógico

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 14 / 31

Simplificação algébrica

Simplificação algébrica
(Exemplo 1)

Figura: Realização a 2 nı́veis (soma de produtos) Figura: Realização multinı́vel

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 15 / 31

Simplificação Algébrica

Simplificação algébrica
(Exemplo 2)

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 16 / 31

Simplificação Algébrica

Simplificação algébrica:
▶ A simplificação e manipulação algébrica das funções lógicas tem vários

benefı́cios:
⋆ Permite reduzir a complexidade de circuitos, o que leva a uma redução no
número de erros na montagem do circuito.
⋆ Permite reduzir o tempo de propagação dos sinais ao longo do circuito de
cálculo (ex.: processadores mais rápidos)
⋆ Permite reduzir a potência consumida (ex: processadores energeticamente
mais eficientes)

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 17 / 31

Funções Lógicas

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 18 / 31

Tabela de Funções Lógicas

Existem 16 funções possı́veis de 2 variáveis Booleanas

Funções já conhecidas

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 19 / 31

Funções Lógicas
Outras funções: NOR e NAND
Funcionam como uma porta OR (ou porta AND) seguida de uma porta NOT

Simbologia:

Nas tecnologias mais comuns (ex CMOS)

portas NOR e NAND (portas inversoras)
requerem menos transı́stores que portas
OR e AND (portas não inversoras).
De facto, as portas OR e AND é que são
habitualmente realizadas com portas NOR
ou NAND seguida de uma porta NOT.

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 20 / 31

Funções Lógicas
Outras funções: OU-Exclusivo
XOR é verdadeira se uma e apenas uma das 2 entradas for verdadeira

Simbologia:

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 21 / 31

Funções Lógicas

Portas com mais de 2 entradas:

▶ As operações AND e OR (e consequentemente as portas NAND e NOR)
são facilmente generalizáveis para N-entradas (comutatividade!)
▶ Uma porta AND com N entradas tem a saı́da a 1 se e só se (sse) todas as
entradas estiverem a 1.
▶ Uma porta OR de N entradas tem a saı́da a 1 se pelo menos uma entrada
estiver a 1.
Simbologia

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 22 / 31

Circuitos com Portas NAND

Circuitos com portas NAND:

▶ A porta NAND é considerada uma porta universal porque qualquer circuito
digital pode ser realizado apenas com portas NAND.
▶ Qualquer função booleana é realizável apenas com portas NAND por
substituição directa das operações NOT, AND e OR.

▶ A operação NOT é normalmente considerada em sentido lato, como uma

NAND de 1 entrada.

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 23 / 31

Funções Lógicas
Circuitos com portas NAND:
▶ Uma função na forma MINTERMS (soma de produtos) pode ser
transformada numa outra, directamente realizável apenas com portas
lógicas NAND (aplicando as lei de DeMorgan)
Exemplo:

É igualmente possı́vel realizar qualquer circuito recorrendo apenas a portas NOR.

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 24 / 31
Funções Lógicas: Representação normalizada

Representação Normalizada: Soma de Produtos

▶ Designa-se por forma normal disjuntiva de uma função booleana simples
completamente especificada, y = f (x1 , x2 , ..., xN ), uma expressão lógica
representativa da função com a estrutura de uma soma de produtos.
▶ Por esta razão, designa-se habitualmente uma forma normal disjuntiva
simplesmente por soma de produtos.
▶ Se cada parcela for constituı́da por um produto lógico envolvendo n literais
distintos, diz-se que a função se encontra representada na primeira forma
canónica ou forma canónica disjuntiva.

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 25 / 31

Funções Lógicas: MINTERMOS
MINTERMOS (ou MINTERMS)
▶ Designa-se por mintermo (também produto canónico, implicante canónico
ou termo minimal) um termo de produto em que todas as variáveis
aparecem exactamente uma vez, complementadas ou não.

Um mintermo representa
exactamente uma combinação das
variáveis binárias na tabela de
verdade da função.

Uma função de n variáveis tem 2n

mintermos.

Cada mintermo é também designado

por mi

O mintermo vale 1 para a

combinação representada, e 0 para
todas as outras.

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 26 / 31

Funções Lógicas: Representação normalizada

Representação Normalizada: Produto de Somas

▶ Designa-se por forma normal conjuntiva de uma função booleana simples
completamente especificada, y = f (x1 , x2 , ..., xN ), uma expressão lógica
representativa da função com a estrutura de um produto de somas.
▶ Por esta razão designa-se habitualmente uma forma normal conjuntiva
simplesmente por produto de somas.
▶ Se cada parcela for constituı́da por uma soma lógica envolvendo n literais
distintos, diz-se que a função se encontra representada na segunda forma
canónica ou forma canónica conjuntiva.

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 27 / 31

Funções Lógicas: MAXTERMOS
MAXTERMOS (ou MAXTERMS)
▶ Designa-se por maxtermo (também soma canónica, implicado canónico ou
termo maximal) um termo de soma em que todas as variáveis aparecem
exactamente uma vez, complementadas ou não.

Um maxtermo representa
exactamente uma combinação das
variáveis binárias na tabela de
verdade da função.

Uma função de n variáveis tem 2n

maxtermos.

Cada maxtermo é também

designado por Mi

O maxtermo vale 0 para a

combinação representada, e 1 para
todas as outras.

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 28 / 31

MINTERMOS e MAXTERMOS
Um mintermo corresponde a uma função ̸= 0 com o número mı́nimo de 1’s na
tabela da verdade.
Exemplo

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 29 / 31

MINTERMOS e MAXTERMOS

Um maxtermo corresponde a uma função ̸= 1 com o número máximo de 1’s na

tabela da verdade.
Exemplo

Módulo 2, Álgebra de Boole & Funções Lógicas SDM/SE/TSE 2023/2024 30 / 31

Funções Lógicas

Tabela de Verdade ⇆ Função Lógica

A primeira forma canónica (MINTERMOS) obtém-se somando todos os

produtos lógicos que dão à função o valor 1
A segunda form canónica (MAXTERMOS) obtém-se multiplicando todas as
somas lógicas que dão à função o valor 0 (neste caso as variáveis aparecem
negadas quando o seu valor na tabela de verdade é 1)