Falso: F = Low voltage: L = 0



Documentos relacionados
ÁLGEBRA BOOLEANA. Foi um modelo formulado por George Boole, por volta de 1850.

CAPÍTULO II. Funções e Portas Lógicas

2 Álgebra Booleana e Circuitos Lógicos

1 CIRCUITOS COMBINACIONAIS

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções

MD Sequências e Indução Matemática 1

Funções Lógicas e Portas Lógicas

Pontifícia Universidade Católica do Rio Grande do Sul Faculdade de Engenharia Disciplina de Lógica Computacional Aplicada. Prof. Dr.

Circuitos Lógicos Portas Lógicas

Exercícios Teóricos Resolvidos

Valor lógico UM (Verdade, 1): 5 Volts. Valor lógico ZERO (FALSO, 0): 0 Volts.

CAPÍTULO 1 REVISÃO DE LÓGICA COMBINACIONAL

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Como foi visto no tópico anterior, existem duas formas básicas para representar uma função lógica qualquer:

REPRESENTAÇÃO DE DADOS EM SISTEMAS DE COMPUTAÇÃO AULA 03 Arquitetura de Computadores Gil Eduardo de Andrade

Matemática Discreta para Computação e Informática

Portas Lógicas Básicas Prof. Rômulo Calado Pantaleão Camara. Carga Horária: 2h/60h

QUANTIFICADORES. Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1.

SISTEMAS DIGITAIS Prof. Ricardo Rodrigues Barcelar

Tecnologia da Informação Prof. Mário Henrique de Souza Pardo Resumo Aula 4

Aula 9 ESCALA GRÁFICA. Antônio Carlos Campos

Álgebra Booleana. Introdução ao Computador 2010/01 Renan Manola

Notas de Aula - Álgebra de Boole Parte 1

Resolução de sistemas lineares

Notas sobre a Fórmula de Taylor e o estudo de extremos

Teoria das Probabilidades I. Ana Maria Lima de Farias Universidade Federal Fluminense

N1Q1 Solução. a) Há várias formas de se cobrir o tabuleiro usando somente peças do tipo A; a figura mostra duas delas.

Unidade 5: Sistemas de Representação

por séries de potências

Símbolos Lógicos com Tabelas-Verdade

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR

Métodos Quantitativos Prof. Ms. Osmar Pastore e Prof. Ms. Francisco Merlo. Funções Exponenciais e Logarítmicas Progressões Matemáticas

Aula 2 Sistemas de Numeração (Revisão)

Regras Métodos Identificadores Variáveis Constantes Tipos de dados Comandos de atribuição Operadores aritméticos, relacionais e lógicos

Curso: Técnico de Informática Disciplina: Redes de Computadores. 1- Apresentação Binária

Sistemas Numéricos e a Representação Interna dos Dados no Computador

Aula 4 Estatística Conceitos básicos

Exercícios Adicionais

TÓPICO ESPECIAL DE CONTABILIDADE: IR DIFERIDO

Estatística II Antonio Roque Aula 9. Testes de Hipóteses

Dois eventos são disjuntos ou mutuamente exclusivos quando não tem elementos em comum. Isto é, A B = Φ

Técnicas Digitais TDI

Sistemas de Numeração (Aula Extra)

CAPÍTULO I. UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE ENGENHARIA ELÉTRICA Apostila de Eletrônica Digital. Sistemas de Numeração. 1.

Notas de Cálculo Numérico

Lista 1 para a P2. Operações com subespaços

Truques e Dicas. = 7 30 Para multiplicar fracções basta multiplicar os numeradores e os denominadores: 2 30 = 12 5

CAPÍTULO 3 - TIPOS DE DADOS E IDENTIFICADORES

Perfil Chefe de Transporte

Análise de Arredondamento em Ponto Flutuante

7 - Análise de redes Pesquisa Operacional CAPÍTULO 7 ANÁLISE DE REDES. 4 c. Figura Exemplo de um grafo linear.

PORTAS LÓGICAS MARGEM DE RUÍDO FAN-OUT FAN-IN TEMPO DE PROPAGAÇÃO DISSIPAÇÃO DE POTÊNCIA

Tecnicas com Sistemas Digitais

Algoritmos Estruturas Seqüenciais. José Gustavo de Souza Paiva

36ª Olimpíada Brasileira de Matemática GABARITO Segunda Fase

Eletrônica Digital para Instrumentação. Herman Lima Jr.

Sistema de Gerenciamento de Projetos V 1.01 MANUAL DO COORDENADOR

O Problema do Troco Principio da Casa dos Pombos. > Princípios de Contagem e Enumeração Computacional 0/48

Potenciação no Conjunto dos Números Inteiros - Z

Computadores XII: Aprendendo a Somar A4 Texto 3

PROGRAMAÇÃO EM LINGUAGEM LADDER LINGUAGEM DE RELÉS

Probabilidade - aula I

RESOLUÇÃO DAS QUESTÕES DE RACIOCÍNIO LÓGICO-MATEMÁTICO

Erros. Número Aproximado. Erros Absolutos erelativos. Erro Absoluto

CED. Manual do Usuário

A Torre de Hanói e o Princípio da Indução Matemática

Aula 8 Circuitos Integrados

Guia de utilização da notação BPMN

Exercícios 1. Determinar x de modo que a matriz

Morfologia Matemática Binária

Experimento. Guia do professor. Otimização da cerca. Secretaria de Educação a Distância. Ministério da Ciência e Tecnologia. Ministério da Educação

Capítulo 5: Aplicações da Derivada

Soluções Nível 1 5 a e 6 a séries (6º e 7º anos) do Ensino Fundamental

PCS 3115 (PCS2215) Conteúdo

Circuitos Combinacionais

5. Uma lousa denominada EPI (registrador de endereço de próxima instrução).

Circuitos Digitais 144L

Capítulo 2. Álgebra e imagens binárias. 2.1 Subconjuntos versus funções binárias

Breve referência à Teoria de Anéis. Álgebra (Curso de CC) Ano lectivo 2005/ / 204

POC 13 - NORMAS DE CONSOLIDAÇÃO DE CONTAS

Conectar diferentes pesquisas na internet por um menu

PCS 3115 (PCS2215) Sistemas Digitais I. Módulo 05 Álgebra Booleana. Prof. Dr. Edison Spina. Sobre o material do Prof. Dr. Marcos A. Simplicio Jr.

Resolução da lista de exercícios de casos de uso

A trigonometria do triângulo retângulo

MATEMÁTICA FINANCEIRA BÁSICA

E A D - S I S T E M A S L I N E A R E S INTRODUÇÃO

Conceitos e fórmulas

Eventos independentes

Capítulo 7. Topologia Digital. 7.1 Conexidade

Introdução ao Controlo Numérico Computorizado I Conceitos Gerais

Aula 1: Conhecendo a Calculadora

Universidade Federal de São Carlos Departamento de Matemática Curso de Cálculo Numérico - Turma E Resolução da Primeira Prova - 16/04/2008

Escola Secundária c/3º CEB José Macedo Fragateiro. Curso Profissional de Nível Secundário. Componente Técnica. Disciplina de

Faculdade Sagrada Família

3 Matemática financeira e atuarial

NIVELAMENTO 2007/1 MATEMÁTICA BÁSICA. Núcleo Básico da Primeira Fase

Resoluções comentadas de Raciocínio Lógico e Estatística SEFAZ - Analista em Finanças Públicas Prova realizada em 04/12/2011 pelo CEPERJ

Análise de Circuitos Digitais Multiplexadores Prof. Luiz Marcelo Chiesse da Silva MULTIPLEXADORES

AV1 - MA (b) Se o comprador preferir efetuar o pagamento à vista, qual deverá ser o valor desse pagamento único? 1 1, , , 980

Cotagem de dimensões básicas

Transcrição:

Curso Técnico em Eletrotécnica Disciplina: Automação Predial e Industrial Professor: Ronimack Trajano 1 PORTAS LOGICAS 1.1 INTRODUÇÃO Em 1854, George Boole introduziu o formalismo que até hoje se usa para o tratamento sistemático da lógica, que é a chamada Álgebra Booleana. Em 1938, C. E. Shannon aplicou esta álgebra para mostrar que as propriedades de circuitos elétricos de chaveamento podem ser representadas por uma álgebra Booleana com dois valores. Diferentemente da álgebra ordinária dos reais, onde as variáveis podem assumir valores no intervalo (- ;+ ), as variáveis Booleanas só podem assumir um número finito de valores. As funções lógicas (ou operações lógicas) manipulam variáveis lógicas. Estas variáveis podem assumir apenas dois estados distintos e mutuamente exclusivos. Por isso, é comum utilizar como valores das variáveis lógicas o verdadeiro (V) e o falso (F). Em sistemas digitais utilizam-se, na prática, níveis (ou faixas) de tensão alto (High) e baixo (Low), simbolizados também por 1 e 0. Como o número de valores que cada variável pode assumir é finito (e pequeno), o número de estados que uma função Booleana pode assumir também será finito, o que significa que podemos descrever completamente as funções Booleanas utilizando tabelas. Devido a este fato, uma tabela que descreva uma função Booleana recebe o nome de tabela verdade, e nela são listadas todas as combinações de valores que as variáveis de entrada podem assumir e os correspondentes valores da função (saídas). Os dispositivos eletrônicos que efetuam as operações lógicas são denominados portas lógicas (logic gates, ou simplesmente gates). Utilizam em geral lógica positiva, na qual: Verdadeiro: V = High voltage: H = 1 Falso: F = Low voltage: L = 0 1.2 OPERAÇÕES BÁSICAS DA ÁLGEBRA BOOLEANA Na álgebra Booleana, existem três operações ou funções básicas. São elas, operação OU, operação E e complementação. Todas as funções Booleanas podem ser representadas em termos destas operações básicas. Conforme serão apresentados mais adiante, há duas simbologias utilizadas para as portas lógicas, o símbolo tradicional, representado pela Norma ANSI (American National Standards Institute) e a simbologia adotada pela Norma IEC Comissão Eletrotécnica Internacional.

1.2.1 OPERAÇÃO OU (ADIÇÃO LÓGICA) Uma definição para a operação OU, que também é denominada adição lógica, é: A operação OU resulta 1 se pelo menos uma das variáveis de entrada vale 1. Como uma variável Booleana ou vale 1 ou vale 0, e como o resultado de uma operação qualquer pode ser encarado como (ou atribuído a) uma variável Booleana, basta que definamos quando a operação vale 1. Automaticamente, a operação resultará 0 nos demais casos. Assim, pode-se dizer que a operação OU resulta 0 somente quando todas as variáveis de entrada valem 0. Um símbolo possível para representar a operação OU é +, tal como o símbolo da adição algébrica (dos reais). Porém, como estamos trabalhando com variáveis Booleanas, sabemos que não se trata da adição algébrica, mas sim da adição lógica. Para analisarmos a porta lógica OU, faremos uma analogia com um circuito elétrico, onde a lâmpada Y será acessa sempre que houver nível lógico 1 no seu terminal superior. Do circuito anterior, listando as possibilidades de combinações entre dois valores Booleanos (posição das chaves aberta ou fechada) e os respectivos resultados para a operação OU, tem-se: 0 + 0 = 0; 0 + 1 = 1; 1 + 0 = 1; 1 + 1 = 1 Note que a operação OU só pode ser definida se houver, pelo menos, duas variáveis envolvidas. Ou seja, não é possível realizar a operação sobre somente uma variável. Devido a isso, o operador + (OU) é dito binário. Nas equações, não se costuma escrever todas as possibilidades de valores. Apenas adotamos uma letra (ou uma letra com um índice) para designar uma variável Booleana. Com isso, já se sabe que aquela variável pode assumir ou o valor 0 ou o valor 1. Então, supondo que queiramos demonstrar o comportamento da equação A+B (lê-se A ou B), poderíamos fazê-lo utilizando uma tabela verdade, como segue: A B A+B 0 0 0 0 1 1 1 0 1 1 1 1

Da mesma forma, podemos mostrar o comportamento da equação A+B+C (lê-se A ou B ou C) por meio de uma tabela verdade. Como na equação há somente o símbolo +, trata-se da operação OU sobre três variáveis. Logo, pode-se aplicar diretamente a definição da operação OU: o resultado será 1 se pelo menos uma das variáveis de entrada valer 1. A B C A+B+C 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 É importante notar que, devido ao fato de haver somente um operador na equação, podese também avaliar a equação decompondo-a em pares. Por exemplo, pode-se primeiramente achar o resultado de A+B, para depois operar os valores resultantes com os respectivos valores de C. Esta propriedade é conhecida como associativa. Também a ordem em que são avaliadas as variáveis A, B e C é irrelevante (propriedade comutativa). 1.2.2 OPERAÇÃO E (MULTIPLICAÇÃO LÓGICA) A operação E, ou multiplicação lógica, pode ser definida da seguinte forma: A operação E resulta 0 se pelo menos uma das variáveis de entrada vale 0. Pela definição dada, pode-se deduzir que o resultado da operação E será 1 se, e somente se, todas as entradas valerem 1. O símbolo usualmente utilizado na operação E é ou. Podemos, também, listar as possibilidades de combinações entre dois valores Booleanos e os respectivos resultados, para a operação E: Para analisarmos a porta lógica AND, assim com analisamos a porta OU, faremos uma analogia com um circuito elétrico. Do circuito anterior, listando as possibilidades de combinações entre dois valores Booleanos (posição das chaves aberta ou fechada) e os respectivos resultados para a operação AND, tem-se:

0 0 = 0; 0 1 = 0; 1 0 = 0; 1 1 = 1 Assim como a operação OU, a operação E só pode ser definida entre, pelo menos duas variáveis. Ou seja, o operador (E) também é binário. Para mostrar o comportamento da equação A B (lê-se A e B), escreve-se uma tabela verdade, como segue: A B A B 0 0 0 0 1 0 1 0 0 1 1 1 De forma semelhante, pode-se determinar o resultado da equação A B C (lê-se A e B e C) utilizando diretamente a definição da operação E: o resultado será 0 se pelo menos uma das variáveis de entrada valer 0. A B C A B C 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 Também para a operação E valem as propriedades associativa e comutativa. Então, a equação A B C pode ainda ser avaliada tomando-se as variáveis aos pares, em qualquer ordem. Veja a tabela verdade a seguir e compare os resultados. 1.2.3 COMPLEMENTAÇÃO (OU NEGAÇÃO, OU INVERSÃO) A operação complementação dispensa uma definição. É a operação cujo resultado é simplesmente o valor complementar ao que a variável apresenta. Também devido ao fato de uma variável Booleana poder assumir um entre somente dois valores, o valor complementar será 1 se a variável vale 0 e será 0 se a variável vale 1. Os símbolos utilizados para representar a operação complementação sobre uma variável Booleana A é Ā, onde o traço indica que ocorrerá uma inversão do valor de A, (lê-se A negado). Para analisarmos a porta lógica NOT, assim com analisamos as portas OU e AND, faremos uma analogia com um circuito elétrico.

Do circuito anterior, listando as possibilidades de combinações entre dois valores Booleanos (posição da chave aberta ou fechada) e os respectivos resultados para a operação NOT, tem-se: 0 = 1; 1 = 0 Diferentemente das operações OU e E, a complementação só é definida sobre uma variável, ou sobre o resultado de uma expressão. Ou seja, o operador complementação é dito unário. E a tabela verdade para A é: 1.2.4 FUNÇÃO NE (NAND OU NÃO-E) A Ā 0 1 1 0 Esta função é uma composição das funções E e NÃO, ou seja, é a função E invertida. Sua representação algébrica é S = A. B Para analisarmos a porta lógica NAND, faremos uma analogia com um circuito elétrico. como segue: Para mostrar o comportamento da equação S = A, B escreve-se uma tabela verdade, A B A B 0 0 1 0 1 1 1 0 1 1 1 0

1.2.5 FUNÇÃO NOU (NOR OU NÃO-OU) Esta função é uma composição das funções OR e NÃO, ou seja, é a função OR invertida. Sua representação algébrica é S = A. + B Para analisarmos a porta lógica NOR, faremos uma analogia com um circuito elétrico. como segue: Para mostrar o comportamento da equação S = A, + B escreve-se uma tabela verdade, A B A + B 0 0 1 0 1 0 1 0 0 1 1 0 1.2.6 FUNÇÃO OU-EXCLUSIVO (XOR, EXCLUSIVE-OR OU EXOR) Esta função, como o próprio nome diz, apresenta saída com valor 1 quando as variáveis de entrada forem diferentes entre si. A notação algébrica que representa a função OU Exclusivo é S = A B, onde se lê: A OU Exclusivo B. Para analisarmos a porta lógica XOR, faremos uma analogia com um circuito elétrico. Para mostrar o comportamento da equação S = A B = A. B + A. B, escreve-se uma tabela verdade, como segue: A B A B 0 0 0 0 1 1 1 0 1 1 1 0

1.2.7 FUNÇÃO NOU-EXCLUSIVO (XNOR, EXCLUSIVE-NOR, EXNOR OU COINCIDÊNCIA) Esta função, como seu próprio nome diz, apresenta saída com valor 1 quando houver uma coincidência nos valores das variáveis de entrada. A notação algébrica que representa a função Coincidência é S = A. B + A. B = A, B onde se lê: A Coincidência B. Esta função é uma composição das funções XOR e NÃO, ou seja, é a função XOR invertida. Para analisarmos a porta lógica XOR, faremos uma analogia com um circuito elétrico. Para mostrar o comportamento da equação S = A. B + A. B = A, B escreve-se uma tabela verdade, como segue: A B S = A B 0 0 1 0 1 0 1 0 0 1 1 1

2 EXPRESSÕES BOLEANAS 2.1 AVALIAÇÃO DE EXPRESSÕES BOOLEANAS Dada a equação que descreve uma função Booleana qualquer, deseja-se saber detalhadamente como esta função se comporta para qualquer combinação das variáveis de entrada. O comportamento de uma função é descrito pela sua tabela verdade e este problema é conhecido como avaliação da função ou da expressão que descreve a função considerada. Em suma, deseja-se achar a tabela verdade para a função Booleana. Uma tabela verdade consiste basicamente de um conjunto de colunas, nas quais são listadas todas as combinações possíveis entre as variáveis de entrada (à esquerda) e o resultado da função (à direita). Também, podem-se criar colunas intermediárias, onde são listados os resultados de subexpressões contidas na expressão principal. Isto normalmente facilita a avaliação, principalmente no caso de equações muito complexas e/ou contendo muitas variáveis. Quando numa mesma equação Booleana aparecem operações E e OU, é necessário seguir a ordem de precedência. Tal como na álgebra dos reais, a multiplicação (lógica) tem precedência sobre a adição (lógica). Além disso, expressões entre parêntesis têm precedência sobre operadores E e OU que estejam no mesmo nível. Quanto à complementação, esta deve ser avaliada tão logo seja possível. Caso a complementação seja aplicada sobre uma subexpressão inteira, é necessário que se avalie primeiramente a subexpressão para, só após, inverter o seu resultado. O número de combinações que as variáveis de entrada podem assumir pode ser calculado por 2 n, onde n é o número de variáveis de entrada. O procedimento para a criação da tabela verdade a partir de uma equação Booleana é: 1. Criar colunas para as variáveis de entrada e listar todas as combinações possíveis, utilizando a fórmula no de combinações = 2 n (onde n é o número de variáveis de entrada); 2. Criar uma coluna para cada variável de entrada que apareça complementada na equação e anotar os valores resultantes; 3. Avaliar a equação seguindo a ordem de precedência, a partir do nível de parêntesis mais internos: 1 multiplicação lógica 2 adição lógica 2.2 PROPRIEDADES BOOLEANAS As propriedades da álgebra Booleana são as seguintes. Da adição lógica: (1) A + 0 = A (3) A + A = A

(2) A + 1 = 1 (4) Ā + A = 1 Da multiplicação lógica: (5) A 0 = 0 (7) A A = A (6) A 1 = A (8) Ā x A = 0 Da complementação: (9) A = A Comutatividade: (10) A + B = B + A (11) A B = B A Associatividade: (12) A + (B + C) =(A + B) + C= (A + C) + B (13) A (B C) = (A B) C= (A C) B Distributiva (da multiplicação em relação à adição): (14) A (B + C) = A B + A C 2.3 TEOREMAS DE DE MORGAN O primeiro teorema de De Morgan diz que a complementação de um produto (lógico) equivale à soma (lógica) das negações de cada variável do referido produto. Sob a forma de equação, teríamos: A B C = A + B + C + O segundo teorema é o dual ( i.e., o espelho) do primeiro, ou seja, a complementação de uma soma (lógica) equivale ao produto das negações individuais das variáveis: A + B + C + = A B C Particularizando os teoremas de De Morgan para duas variáveis, temos: A B = A + B A + B = A B 2.4 DERIVAÇÃO DE EXPRESSÕES BOOLEANAS Dada uma função Booleana, descrita por sua tabela verdade, derivar uma expressão Booleana para esta função é encontrar uma equação que a descreva. Logo, a derivação de expressões Booleanas é o problema inverso da avaliação de uma expressão Booleana. Há basicamente duas maneiras de se definir (ou descrever) uma função Booleana: descrevendo-se todas as situações das variáveis de entrada para as quais a função vale 1 ou, alternativamente, todas as situações em que a função vale 0. O primeiro método é conhecido por soma de produtos (SdP), enquanto que o segundo é chamado produto de somas (PdS).

Qualquer função Booleana pode ser descrita por meio de soma de produtos ou por meio de produto de somas. Como as funções Booleanas só podem assumir um dentre dois valores (0 ou 1), basta usar-se um dos dois métodos para se encontrar uma equação para uma função. 2.4.1 DERIVAÇÃO DE EXPRESSÕES USANDO SOMA DE PRODUTOS (SDP) Dada uma função Booleana de n variáveis (ou seja, n entradas), haverá 2 n combinações possíveis de valores. Dizemos que esse conjunto de valores que as variáveis podem assumir, juntamente com os respectivos valores da função, constituem o espaço da função. A cada combinação de entradas podemos associar um termo produto, no qual todas as variáveis da função estão presentes, e que é construído da seguinte forma: se a variável correspondente vale 0, ela deve aparecer negada; se a variável vale 1, ela deve aparecer não negada. A tabela a seguir lista os termos produto associados a cada combinação de entradas para uma função Booleana de três variáveis (A, B e C, por exemplo). Cada termo produto construído conforme a regra anteriormente descrita é denominado mintermo (ou minitermo). Note que, para um dado mintermo, se substituirmos os valores das variáveis associadas, obteremos 1. Porém, se substituirmos nesse mesmo mintermo quaisquer outras combinações de valores, obteremos 0. Dessa forma, se quisermos encontrar a equação para uma função a partir de sua tabela verdade, basta montarmos um OU entre os mintermos associados aos 1s da função (também chamados mintermos 1 ). Exemplo 1: encontrar a equação em soma de produtos (SdP) para a função F, descrita pela seguinte tabela verdade: A B C F F é função das variáveis A, B e C. Os valores de (A,B,C) para os quais 0 0 0 0 F=1 são (0,1,0), (0,1,1), (1,0,1) e (1,1,0). Os mintermos associados a 0 0 1 0 essas condições (ou seja, os mintermos 1), são A B C, A B x 0 1 0 1 C, A B C e A B C, respectivamente. Logo, a equação em 0 1 1 1 soma de produtos para F será o OU entre estes produtos, 1 0 0 0 conforme segue: 1 0 1 1 F = A B C + A B x C + A B C + A B C 1 1 0 1 1 1 1 0

2.5 DERIVAÇÃO DE EXPRESSÕES USANDO PRODUTO DE SOMAS (PDS) O método de derivação usando produto de somas é o dual (isto é, o oposto) do método de derivação em soma de produtos. A cada combinação das variáveis de entrada de uma função podemos associar um termo soma, no qual todas as variáveis da função estão presentes, e que é construído da seguinte forma: se a variável correspondente vale 1, ela deve aparecer negada; se a variável vale 0, ela deve aparecer não negada. A tabela a seguir lista os termos soma associados a cada combinação de entradas para uma função Booleana de três variáveis (A, B e C, por exemplo). Cada termo soma construído conforme a regra anteriormente descrita é denominado maxtermo (ou maxitermo). Note que, para um dado maxtermo, se substituirmos os valores das variáveis associadas, obteremos 0. Porém, se substituirmos nesse mesmo maxtermo quaisquer outras combinações de valores, obteremos 1. Dessa forma, se quisermos encontrar a equação para uma função a partir de sua tabela verdade, basta montarmos um E entre os maxtermos associados aos 0s da função (também chamados maxtermos 0). Exemplo 2: encontrar a equação em produto de somas (PdS) para a função F, descrita pela seguinte tabela verdade: A B C F Foi escolhida a mesma função do exemplo anterior, para que se 0 0 0 0 possa estabelecer comparações entre os dois métodos de derivação. 0 0 1 0 Os valores das variáveis de entrada (A,B,C) para os quais F=0 são 0 1 0 1 (0,0,0), (0,0,1), (1,0,0) e (1,1,1). Os maxtermos associados a essas 0 1 1 1 condições (ou seja, os maxtermos 0), são (A + B + C), (A + B + 1 0 0 0 C ), (A + B + C) e (A + B + C ), respectivamente. Logo, a equação 1 0 1 1 em produto de somas para F será o E entre estas somas: 1 1 0 1 F = (A + B + C) (A + B + C ) (A + B + C) (A + B + C ) 1 1 1 0 Note que a ordem de precedência de uma expressão em produto de somas é primeiro cada soma deve ser avaliada, para só então avaliar-se o produto. Isto significa que os parêntesis em torno de cada termo soma são obrigatórios! Repare também que os símbolos referentes à operação E (entre os termos soma) podem ser omitidos.