mathyan motta beppu (aluno do sexto período de telecomunicações) pet-tele 21 setembro de 2010...
TRANSCRIPT
![Page 1: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/1.jpg)
Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações)
Pet-Tele21 setembro de 2010
Niterói-RJ
Willard Van Orman Quine
Edward J. McCluskey
![Page 2: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/2.jpg)
Técnicas de minimização; Padronização da linguagem utilizada; O passo a passo do algoritmo; Um exemplo executado manualmente; Particularidades do algoritmo; O algoritmo implementado em Lua.
![Page 3: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/3.jpg)
OBS: Motivação para simplificar.
Manipulação Algébrica Mapa de karnaugh Método de Quine-McCluskey
![Page 4: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/4.jpg)
Muito trabalhoso Exige o conhecimento de inúmeros
postulados Dificuldade de obter a melhor
simplificação Definição de mínimo bastante subjetivo
![Page 5: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/5.jpg)
Mais simples que o método algébrico Método visual Menos subjetivo e mais sistemático Para funções de mais de 6 variáveis o
método torna-se impraticável
![Page 6: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/6.jpg)
Método sistemático e procedural Apresenta TODAS as combinações de
min-termos(ou Max - termos) e seleciona a combinação mínima
Pode ser aplicado para funções dependentes de n variáveis
Possibilidade de ser implementado por um algoritmo computacional
![Page 7: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/7.jpg)
Termos conhecidos: Tabela verdade Soma de produtos(SOP) Produto de somas(POS)
Termos não conhecidos; Min-termos e Max - termos Implicantes e implicados
![Page 8: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/8.jpg)
Min-termos: Soma de min-termos ou soma de produtos padrão.
Max - termos: Produto de max-termos ou produto de somas padrão.
Implicantes:Termos que geram F( )=1; Implicados:Termos que geram F( )=0; Por definição: -Max-termos são implicados -Min-termos são implicantes
![Page 9: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/9.jpg)
1. Listar os min-termos e colocá-los na forma binária;
2. Agrupá-los de acordo com a quantidade de 1’s(0-cubos);
3. Comparar os min-termos de grupos adjacentes agrupando os que diferem de uma posição apenas(1-cubos);
4. Organizar os 1-cubos encontrados e compará-los da mesma maneira da etapa anterior, formando 2-cubos;
![Page 10: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/10.jpg)
5. Repetir o procedimento de comparações até não haver mais possibilidade de se formar n-cubos;
6. Construir uma nova tabela com os implicantes primos,visando obter a melhor minimização possível;
7. Expressão simplificada final.
![Page 11: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/11.jpg)
F(a,b,c,d)= ∑m(0,2,3,6,7,8,9,10,13)
Mapa “K”X
Quine-McCluskey
“Voluntário”
![Page 12: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/12.jpg)
O algoritmo básico não abrange as seguintes situações:
Funções com mais de uma SOP(ou POS) mínima;
Decisões com o mesmo custo;Decisão extra
Branching ou algoritmo de Petricle
![Page 13: Mathyan Motta Beppu (Aluno do sexto período de Telecomunicações) Pet-Tele 21 setembro de 2010 Niterói-RJ Willard Van Orman Quine Edward J. McCluskey](https://reader035.vdocuments.pub/reader035/viewer/2022062318/552fc111497959413d8c61a6/html5/thumbnails/13.jpg)
Definições para entendimento do resultado algoritmo:
0 equivale a variável negada (ex: A~)
1 equivale a variável não negada(ex: A)
-1 equivale a variável simplificada