
Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
| Metadados | Descrição | Idioma |
|---|---|---|
| Autor(es): dc.contributor | Universidade Estadual Paulista (UNESP) | - |
| Autor(es): dc.creator | Schreiber, Michael | - |
| Data de aceite: dc.date.accessioned | 2019-08-21T18:03:10Z | - |
| Data de disponibilização: dc.date.available | 2019-08-21T18:03:10Z | - |
| Data de envio: dc.date.issued | 2013-09-25 | - |
| Data de envio: dc.date.issued | 2013-09-25 | - |
| Data de envio: dc.date.issued | 2013-09-25 | - |
| Fonte completa do material: dc.identifier | http://acervodigital.unesp.br/handle/unesp/70221 | - |
| Fonte completa do material: dc.identifier | http://objetoseducacionais2.mec.gov.br/handle/mec/24092 | - |
| Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/462291 | - |
| Descrição: dc.description | The truth table of a k-order Boolean function has 2^k rows. Its disjunctive normal form extracts all rows that return True. The prime implicants for these cases consolidate rules by introducing so-called "don't care" inputs that specify cases that do not depend on the value of a particular input. The minimal disjunctive form of a Boolean function is found by taking the smallest number of prime implicants. The left plot presents a randomly generated truth table. The red vertical line separates the input bits on the left from the output on the right. The second plot tabulates the disjunctive normal form that includes only those cases which return True. The third plot shows all prime implicants and marks "don't care" inputs by cyan-colored squares. The right plot shows the minimal disjunctive normal form. | - |
| Descrição: dc.description | Educação Superior::Ciências Exatas e da Terra::Matemática | - |
| Publicador: dc.publisher | Wolfram demonstrations project | - |
| Relação: dc.relation | MinimalDisjunctiveNormalForm.nbp | - |
| Direitos: dc.rights | Demonstrations freewre using MathematicaPlayer | - |
| Palavras-chave: dc.subject | Demonstrações de teoremas | - |
| Palavras-chave: dc.subject | Educação Superior::Ciências Exatas e da Terra::Matemática::Lógica Matemática | - |
| Título: dc.title | Minimal disjunctive normal form | - |
| Aparece nas coleções: | Repositório Institucional - Acervo Digital Unesp | |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: