Lógica para Computação. Álgebra de Boole
|
|
- Luzia Amaro Escobar
- 5 Há anos
- Visualizações:
Transcrição
1 Lógica para Computação Álgebra de Boole
2 Formas Normais Definição: diz-se que uma proposição está na forma normal (FN) se e somente se, quando muito, contém os conectivos ~, ^ e v. - Toda proposição pode ser levada para uma FN equivalente pela eliminação dos conectivos e. - Substitui-se p q por ~p v q; - Substitui-se p q por (~p v q) ^ (p v ~q)
3 FORMA NORMAL CONJUNTIVA (FNC) - Definição: diz-se que uma proposição está na forma normal conjuntiva (FNC) se e somente se, são verificadas as seguintes condições: 1. Contém, quando muito, os conectivos ~, v e ^; 2. ~ não aparece repetido (~~) e não tem alcance sobre ^ e v; [não ocorre ~(~p v q)] 3. v não tem alcance sobre ^. [não há p v (q ^ r)].
4 Regras para determinar uma FNC (1) Elimina-se os conectivos e pela substituição de p q por ~p v q e de p q por (~p v q) ^ (p v ~q); (2) Elimina-se negações repetidas e parêntesis precedidos de ~ pelas regras da Dupla negação e De Morgan ; (3) Substitui-se p v (q ^ r) por (p v q) ^ (p v r); (4) Substitui-se (p ^ q) v r por (p v r) ^ (q v r).
5 FORMA NORMAL CONJUNTIVA (FNC) Exemplo 1: Determinar a FNC da proposição ~(((p v q) ^ ~q) v (q ^ r)) (1) ~((p v q) ^ ~q) ^ ~(q ^ r) (2) (~(p v q) v ~~q) ^ (~q v ~r) (3) ((~p ^ ~q) v q) ^ (~q v ~r) (4) (~p v q) ^ (~q v q) ^ (~q v ~r)
6 FORMA NORMAL CONJUNTIVA (FNC) FNC: (~p v q) ^ (~q v q) ^ (~q v ~r) (i) Contém apenas os conectivos de ~, v e ^ (i) ~ não aparece repetido (~~) e não tem alcance sobre ^ e v; (iii) v não tem alcance sobre ^.
7 FORMA NORMAL CONJUNTIVA (FNC) Exemplo 2: Determinar a FNC da proposição p q v ~r (1) (~p v (q v ~r) ^ (p v ~(q v ~r)) (2) ((~p v q) v (~p v ~r)) ^ ((p v (~q ^ r)) (3) (~p v q v ~r) ^ (p v ~q) ^ (p v r)
8 FORMA NORMAL CONJUNTIVA (FNC) FNC: (~p v q v ~r) ^ (p v ~q) ^ (p v r) (i) Contém apenas os conectivos de ~, v e ^ (i) ~ não aparece repetido (~~) e não tem alcance sobre ^ e v; (iii) v não tem alcance sobre ^.
9 FORMA NORMAL DISJUNTIVA (FND) - Definição: diz-se que uma proposição está na forma normal disjuntiva (FND) se e somente se, são verificadas as seguintes condições: 1. Contém, quando muito, os conectivos ~, v e ^; 2. ~ não aparece repetido (~~) e não tem alcance sobre ^ e v; [não ocorre ~(~p v q)] 3. ^ não tem alcance sobre v. [não há p ^ (q v r)].
10 Regras para determinar uma FND (1) Elimina-se os conectivos e pela substituição de p q por ~p v q e de p q por (~p v q) ^ (p v ~q); (2) Elimina-se negações repetidas e parêntesis precedidos de ~ pelas regras da Dupla negação e De Morgan ; (3) Substitui-se p ^ (q v r) por (p ^ q) v (p ^ r); (4) Substitui-se (p v q) ^ r por (p ^ r) v (q ^ r).
11 FORMA NORMAL DISJUNTIVA (FND) Exemplo 1 : Determinar a FND da proposição (p q) ^ (q p) (1) (~p v q) ^ (~q v p) [aplica-se distributiva] (2) ((~p v q) ^ ~q) v ((~p v q) ^ p) [aplica-se distributiva] (3) (~p ^ ~q) v (q ^ ~q) v (~p ^ p) v (p ^ q)
12 FORMA NORMAL DISJUNTIVA (FND) FND: (~p ^ ~q) v (q ^ ~q) v (~p ^ p) v (p ^ q) (i) Contém apenas os conectivos de ~, v e ^ (i) ~ não aparece repetido (~~) e não tem alcance sobre ^ e v; (iii) ^ não tem alcance sobre v.
13 Exemplo 2 : Determinar a FND da proposição ~(((p v q) ^ ~q) v (q ^ r)) (1) ~((p v q) ^ ~q) ^ ~(q ^ r) (2) (~(p v q) v q) ^ (~q v ~r) (3) ((~p ^ ~q) v q) ^ (~q v ~r)) [aplica-se distributiva] (4) ((~p ^ ~q) v q) ^ ~q v ((~p ^ ~q) v q) ^ ~r [aplica-se distributiva] (5) (~p ^ ~q ^~q) v (q ^ ~q) v (~p ^ ~q ^ ~r) v (q ^ ~r)
14 FORMA NORMAL DISJUNTIVA (FND) FND: (~p ^ ~q ^~q) v (q ^ ~q) v (~p ^ ~q ^ ~r) v (q ^ ~r) (i) Contém apenas os conectivos de ~, v e ^ (i) ~ não aparece repetido (~~) e não tem alcance sobre ^ e v; (iii) ^ não tem alcance sobre v.
15 Álgebra de Boole Boole e os Fundamentos da Lógica Matemática e da Computação Boole e os Fundamentos da Lógica Matemática e da Computação. O inglês George Boole é considerado o pai da lógica simbólica. George Boole Desenvolveu o primeiro sistema formal para raciocínio lógico (lógica booleana).
16 Álgebra de Boole Boole, em sua obra The Mathematical Analysis of Logic, percebeu que uma álgebra de objetos (que não fossem números) poderia ser construída e então, ter várias interpretações. Primeiro a forma, depois o conteúdo!!
17 Álgebra de Boole Lógica e Computação Arquitetura de Computadores Modelagem de circuitos (hardware) Minimização de circuitos
18 Circuitos Lógicos Exemplo:
19 Álgebra de Boole Funções Booleanas e Fórmulas Proposicionais Uma função booleana é uma função que recebe e retorna somente valores do conjunto B = {V, F} Exemplo : Φ = p Λ q A função booleana Φ é dada por uma tabela verdade. Logo, qualquer fórmula proposicional define uma função booleana.
20 FUNÇÕES BOOLEANAS Funções Booleanas e Fórmulas Proposicionais Mas, será que existe uma fórmula proposicional para cada função booleana? Por exemplo: f(p,q) = V quando p e q têm valores lógicos contrários. Existe uma fórmula proposicional que possui a mesma tabela verdade que f: B x B B?
21 FUNÇÕES BOOLEANAS p q f(p,q) i 1 F F F i 2 F V V p Λ q i 3 V F V p Λ q i 4 V V F ( p Λ q) V (p Λ q) O que podemos observar acima? Uma FND (Φ 1 Λ Φ 2 Λ... Λ Φ n ) V (Φ n+1 Λ Φ n+3 Λ... Λ Φ m ) V... O número de termos desta FND corresponde ao número de linhas tal que f(p,q) = V
22 FUNÇÕES BOOLEANAS É possível também utilizar uma FNC? (Φ 1 V Φ 2 V... V Φ n ) Λ (Φ n+1 V Φ n+3 V... V Φ m ) Λ... Lembrete - DeMorgan: (A Λ B) A V B p q f(p,q) i 1 F F F p Λ q i 2 F V V i 3 V F V i 4 V V F p Λ q (p V q) Λ ( p V q)
23 FUNÇÕES BOOLEANAS Comparando as duas tabelas verdades: ( p Λ q) V (p Λ q) (p V q) Λ ( p V q) F F V = V V F V F Assim, toda função booleana equivale a uma fórmula proposicional!!!
24 FUNÇÕES BOOLEANAS Na concepção de circuitos, e na maior parte dos projetos, o objeto de interesse será o estado em que as combinações avaliam o valor V Hardware: V ou F não tem um significado físico (elétrico) Assim, convenciona-se: F bit 0, 0 Volts, não circula corrente elétrica, etc. V bit 1, 5 Volts (p. ex), circula corrente elétrica, etc.
25 ÁLGEBRA BOOLEANA Operações fundamentais da álgebra booleana: AND (conjunção) OR (disjunção) NOT (negação) A B A.B A B A+B A A Nota: A.B AB
26 ÁLGEBRA BOOLEANA Operações derivadas da álgebra booleana: NAND NOR XOR A B A.B A B A+B A B A+B
27 ÁLGEBRA BOOLEANA
28 ÁLGEBRA BOOLEANA
29 ÁLGEBRA BOOLEANA Exemplo de Função Lógica A função F(X,Y,Z) = X + Y.Z
30 ÁLGEBRA BOOLEANA Exemplo de Funções Lógicas
31 ÁLGEBRA BOOLEANA Postulados: Teoremas 1 A + 0 = A 11 A. B + A. B' = A 2 A + 1 = 1 12 (A + B). (A + B') = A 3 A + A = A 13 A + A'. B = A + B 4 A + A' = 1 14 A. (A' + B) = A. B 5 A. 1 = A 15 A + B. C = (A + B). (A + C) 6 A. 0 = 0 16 A. (B + C) = A. B + A. C 7 A. A = A 17 A. B + A'. C = (A + C). (A' + B) 8 A. A' = 0 18 (A + B). (A' + C) = A. C + A'. B 9 A + A. B = A 19 A. B + A'. C + B. C = A. B + A'. C 10 A. ( A + B) = A 20 (A + B). (A' + C). (B + C) = (A + B). (A' + C)
32 ÁLGEBRA BOOLEANA Como qualquer prova de teorema, a cada passo em direção à prova, você tem que dizer o porquê do passo. Veja este exemplo: A. (A + B) = (pelo teorema 16) A. A + A. B = (teorema 7) A + A. B = (teorema 5) A. 1 + A. B = (teorema 16) A. (1 + B) = (teorema 2) A. 1 = (teorema 5) A
33 SIMPLIFICAÇÃO - Álgebra Álgebra ABC + A'BC + AB'C + A'B'C + ABC = BC(A + A') + B'C(A + A') + ABC = BC.1 + B'C.1 + ABC = C(B + B') + ABC = C + ABC = (C + AB).(C + C ) = (C + AB).1 = C + AB
34 Exercícios Álgebra de Boole Converter as seguintes proposições para expressões lógicas da Álgebra de Boole e construir suas tabelas-verdade: a) (p ~q) r ~p b) (~p q) p c) (~p q) (p ~q) d) ~(p q) r e) (p q) (p r)
Disciplina: Lógica Matemática Prof. Etelvira Leite
Disciplina: Prof. Etelvira Leite A álgebra de Boole é um conjunto de postulados e operações lógicas com variáveis binárias desenvolvido pelo matemático e filósofo inglês George Boole (1815-1864). O inglês
Leia maisUnidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital.
Unidade IV 9 INTRODUÇÃO À ÁLGEBRA DE BOOLE Na álgebra booleana, estão todos os fundamentos da eletrônica digital 91 Operador binário O sistema numérico surgiu ao longo da história do desenvolvimento humano
Leia maisRelações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)
Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Conjunto de conectivos completo 2. na
Leia maisLógica para computação - Propriedades Semânticas da Lógica Proposicional (parte 2/2) Alfabeto Simplificado e Formas Normais
DAINF - Departamento de Informática Lógica para computação - Propriedades Semânticas da Lógica Proposicional (parte 2/2) Alfabeto Simplificado e Formas Normais Prof. Alex Kutzke (http://alex.kutzke.com.br/courses)
Leia maisAbaixo descreveremos 6 portas lógicas: AND, OR, NOT, NAND, NOR e XOR.
9. Apêndice - Portas e Operações Lógicas Uma porta lógica é um circuito eletrônico (hardware) que se constitui no elemento básico de um sistema de computação. A CPU, as memórias, as interfaces de E/S são
Leia maisLógica para Computação
Aula 07 - Lógica Proposicional 1 Faculdade de Informática - PUCRS August 27, 2015 1 Este material não pode ser reproduzido ou utilizado de forma parcial sem a permissão dos autores. Sinopse Nesta aula,
Leia maisProf. Leonardo Augusto Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Aula 6 Álgebra de Boole Prof. Leonardo Augusto Casillo Álgebra de Boole (ou Boleana) Desenvolvida pelo matemático britânico George
Leia maisCircuitos Digitais Álgebra de Boole
Circuitos Digitais Álgebra de Boole Álgebra de Boole (ou Booleana) Desenvolvida pelo matemático britânico George Boole para estudo da lógica. Definida sobre um conjunto de dois elementos: (falso, verdadeiro)
Leia maisEletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary
Eletrônica Digital Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos Professor: Francisco Ary Introdução Vimos na aula anterior conversão de números binário fracionários em decimal;
Leia mais3. CAPÍTULO LÓGICAS DIGITAIS
3. CAPÍTULO LÓGICAS DIGITAIS 3.1. Introdução A Lógica é um conjunto de regras para raciocínio sobre um determinado assunto, ela é muito utilizada no ramo da Filosofia e da Matemática. 3.2. Portas lógicas
Leia maisÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN
ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN No século XIX Georges Boole desenvolveu uma teoria matemática com base nas leis da lógica - a Álgebra de Boole - cuja aplicação nos circuitos digitais e computadores
Leia maisUNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO
UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO Álgebra de Boole Disciplina: Lógica Professora Dr.ª: Donizete
Leia maisSistemas Digitais Álgebra de Boole Binária e Especificação de Funções
Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções João Paulo Baptista de Carvalho (Prof. Auxiliar do IST) joao.carvalho@inesc.pt Álgebra de Boole Binária A Álgebra de Boole binária
Leia maisPRINCÍPIO BOOLEANO E PORTAS LÓGICAS (Unidade 3)
MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO DISCIPLINA: ELETRÔNICA
Leia maisÁlgebra de Boole. George Simon Boole ( ) O criador da álgebra dos circuitos digitais. Profª Jocelma Rios. Out/2012
Out/2012 Álgebra de Boole George Simon Boole (1815-1864) O criador da álgebra dos circuitos digitais Profª Jocelma Rios O que pretendemos: Contar um pouco sobre a história da Álgebra, especialmente a Álgebra
Leia maisApostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE.
INSTITUTO SUPERIOR POLITÉCNICO METROPOLITANO DE ANGOLA DEPARTAMENTO DE CIÊNCIAS TECNOLÓGICAS E ENGENHARIAS Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE. SDC LCC1N
Leia maisLógica Boolena. Aula 05. Prof. Msc. Arthur G. Bartsch
Lógica Boolena Aula 05 Prof. Msc. Arthur G. Bartsch Departamento de engenharia elétrica DEE Centro de ciências tecnológicas CCT Universidade do estado de Santa Catarina UDESC Álgebra de Boole ALB0001 arthur.bartsch@udesc.br
Leia maisCapítulo 3. Álgebra de Bool
Capítulo 3 Álgebra de Bool Adaptado dos transparentes das autoras do livro The Essentials of Computer Organization and Architecture Objectivos Compreender a relação entre lógica Booleana e os circuitos
Leia maisÁLGEBRA DE BOOLE POSTULADOS, TEOREMAS E PROPRIEDADES
ÁLGEBRA DE BOOLE POSTULADOS, TEOREMAS E PROPRIEDADES A aplicação principal da álgebra de Boole é o estudo e a simplificação algébrica de circuitos lógicos. As variáveis booleanas podem assumir apenas dois
Leia maisArquitetura e Organização de Computadores. Álgebra Booleana
Arquitetura e Organização de Computadores Álgebra Booleana 1 Histórico e Propriedades Formalizada por George Boole em 1854 Usada por Shannon em 1938 para provar propriedades de circuitos de chaveamento
Leia maisPORTAS NOR e NAND OR - AND - NOT. Considerando as entradas A e B, teremos na saída a complementação ou negação das mesmas.
PORTAS NOR e NAND As portas NOR e NAND são obtidas a partir da complementação das funções OR e AND. Podemos então dizer que o operador booleano lógico NOR é a negação do operador booleano OR enquanto que
Leia maisComo primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.
NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo
Leia maisIntrodução à Automação
Núcleo de Mecânica Introdução à Automação Prof. Wander Gaspar wandergaspar@gmail.com Sistemas Analógicos Um sistema analógico contém dispositivos que manipulam quantidades físicas que variam de forma contínua
Leia maisSistemas Digitais Módulo 4 Álgebra Booleana e Circuitos Lógicos
Universidade Federal de Uberlândia Faculdade de Computação Sistemas Digitais Módulo 4 Álgebra Booleana e Circuitos Lógicos Graduação em Sistemas de Informação Prof. Dr. Daniel A. Furtado Conteúdo Introdução
Leia maisOrganização e Arquitetura de Computadores I
Universidade Federal de Campina Grande Departamento de Sistemas e Computação Curso de Bacharelado em Ciência da Computação Organização e Arquitetura de Computadores I Circuitos Lógicos L Combinacionais
Leia maisA B f(a, B) = A + B. A f(a ) = A
Álgebra de Boole ESTV-ESI-Sistemas Digitais-Álgebra de Boole 1/7 A Álgebra de Boole é uma ferramenta matemática muito utilizada na representação e simplificação de funções binárias (ou lógicas), sendo
Leia maisMódulo 2 Álgebra e Lógica Booleana
1 Sistemas Digitais e Arquitetura de Computadores Módulo 2 Álgebra e Lógica Booleana 0. Álgebra de Boole 2017/2018 2 Introdução A álgebra de Boole, como a álgebra tradicional, tem, em princípio, como objeto,
Leia maisOrganização de computadores
Organização de computadores Aula 6 - Álgebra de Boole Professora Marcela Santos marcela@edu.estacio.br Tópicos Portas lógicas e álgebra de boole Álgebra de boole regras e propriedades Provas de algumas
Leia maisIntrodução à Informática. Álgebra de Boole. Ageu Pacheco e Alexandre Meslin
Introdução à Informática Álgebra de oole geu Pacheco e lexandre Meslin Objetivo da ula: Estudar os conceitos e regras que regem o projeto e funcionamento dos circuitos lógicos dos computadores digitais.
Leia maisCIRCUITOS DIGITAIS ÁLGEBRA BOOLEANA
CIRCUITOS DIGITAIS ÁLGEBRA BOOLEANA Prof. Edson Moreno Definição 2 A álgebra de Booleana é um sistema matemático composto por operadores, regras, postulados e teoremas. A álgebra booleana usa funções e
Leia maisFunções Lógicas I. José Costa. Introdução à Arquitetura de Computadores. Departamento de Engenharia Informática (DEI) Instituto Superior Técnico
Funções Lógicas I José Costa Introdução à Arquitetura de Computadores Departamento de Engenharia Informática (DEI) Instituto Superior Técnico 2013-10-02 José Costa (DEI/IST) Funções Lógicas I 1 Sumário
Leia maisÁlgebra de Boole (ou Boleana) Circuitos Digitais Portas Lógicas e Álgebra de Boole. Álgebra de Boole: Tabela Verdade. Álgebra de Boole: funções
6/3/2 Circuitos Digitais Portas Lógicas e Álgebra de Boole Prof. Abel Guilhermino Aula 3 (ou Boleana) Desenvolvida pelo matemático britânico George Boole para estudo da lógica. Definida sobre um conjunto
Leia mais3 - Operações Lógicas. Portas Lógicas, Expressões Lógicas e Circuitos Lógicos
3 - Operações Lógicas Portas Lógicas, Expressões Lógicas e Circuitos Lógicos 1 Introdução George Boole (1854) Álgebra de Boole Operações (disjunção), (conjunção) e (negação) Constantes: 0, 1 Axiomas: associatividade,
Leia maisLógica Computacional
Aula Teórica 9: Forma Normal Conjuntiva Departamento de Informática 21 de Março de 2011 O problema Como determinar eficazmente a validade de uma fórmula? Objectivo Determinar a validade de raciocínios
Leia maisUFMT. Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO
UFMT 1) IDENTIFICAÇÃO: Disciplina: Lógica Matemática e Elementos de Lógica Digital Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO Curso:
Leia maisSistemas Digitais. 6 Funções lógicas
Para o estudo das funções lógicas usa-se a álgebra de Boole, assim chamada em homenagem ao seu criador George Boole. A álgebra de Boole opera com relações lógicas e não com relações quantitativas como
Leia maisDISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter
ESTADO DE MATO GROSSO SECRETARIA DE ESTADO DE CIÊNCIAS E TECNOLOGIA FUNDAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO PRÓ-REITORIA DE ADMINISTRAÇÃO CAMPUS DE SINOP BACHARELADO EM SISTEMAS DE INFORMAÇÃO DISCIPLINA:
Leia maisIntrodução à Computação
Introdução à Computação Jordana Sarmenghi Salamon jssalamon@inf.ufes.br jordanasalamon@gmail.com http://inf.ufes.br/~jssalamon Departamento de Informática Universidade Federal do Espírito Santo Agenda
Leia maisPortas lógicas Arquitetura e Organização de Computadores Curso de Análise e Desenvolvimento de Sistemas
Portas lógicas Arquitetura e Organização de Computadores Curso de Análise e Desenvolvimento de Sistemas 1 Componentes Álgebra dos de computadores Boole Vimos anteriormente que os números binários não representam
Leia maisLógica Proposicional e Álgebra de Boole
Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser
Leia maisSistemas Digitais Módulo 5 Teoremas Lógicos, Simplificação Algébrica e Projeto de Circuitos Lógicos
Universidade Federal de Uberlândia Faculdade de Computação Sistemas Digitais Módulo 5 Teoremas Lógicos, Simplificação Algébrica e Projeto de Circuitos Lógicos Graduação em Sistemas de Informação Prof.
Leia maisÁLGEBRA BOOLEANA. Foi um modelo formulado por George Boole, por volta de 1850.
ÁLGEBRA BOOLEANA Foi um modelo formulado por George Boole, por volta de 1850. Observando a lógica proposicional e a teoria de conjuntos verificamos que elas possuem propriedades em comum. Lógica Proposicional
Leia maisPCS 3115 (PCS2215) Conteúdo
-Mar-8 PCS 35 (PCS225) Sistemas Digitais I Módulo 5 Álgebra Booleana Prof. Dr. Marcos A. Simplicio Jr. versão: 3. (Jan/26) Conteúdo Conceitos básicos Teoremas de variável Teoremas de 2 variáveis Teoremas
Leia maisELETRÔNICA DIGITAL Aula 4-Álgebra de Boole e Simplificações de circuitos lógicos
ELETRÔNICA DIGITAL Aula 4-Álgebra de Boole e Simplificações de circuitos lógicos Prof.ª Eng. Msc. Patricia Pedroso Estevam Ribeiro Email: patriciapedrosoestevam@hotmail.com 08/10/2016 1 Introdução Os circuitos
Leia maisCircuitos Lógicos Capítulo 3 Portas Lógicas e Álgebra Booleana Parte II
UNIVERSIDADE FEDERAL DE SÃO JOÃO DEL REI Circuitos Lógicos Capítulo 3 Portas Lógicas e Álgebra Booleana Parte II Prof. Davidson Lafitte Firmo http://www.ppgel.net.br/davidson davidson@ufsj.edu.br São João
Leia maisLógica Computacional
Aula Teórica 8: Forma Normal Conjuntiva António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade
Leia maisAula 07 : Portas Lógicas e Álgebra Booleana
ELE 0316 / ELE 0937 Eletrônica Básica Departamento de Engenharia Elétrica FEIS - UNESP Aula 07 : Portas Lógicas e Álgebra Booleana 1. 1 7.1 Portas Lógicas e Expressões Algébricas 1. 2 7.1 Portas Lógicas
Leia maisPCS 3115 (PCS2215) Sistemas Digitais I. Módulo 05 Álgebra Booleana. Prof. Dr. Edison Spina. Sobre o material do Prof. Dr. Marcos A. Simplicio Jr.
PCS 35 (PCS225) Sistemas Digitais I Módulo 5 Álgebra Booleana Prof. Dr. Edison Sobre o material do Prof. Dr. Marcos A. Simplicio Jr. versão: 5 (Mar/28) Conceitos básicos Conteúdo Teoremas de variável Teoremas
Leia maisIntrodução à Computação: Álgebra Booleana
Introdução à Computação: Álgebra Booleana Beatriz F. M. Souza (bfmartins@inf.ufes.br) http://inf.ufes.br/~bfmartins/ Computer Science Department Federal University of Espírito Santo (Ufes), Vitória, ES
Leia maisLógica Computacional. Normalização e Formas Normais. Literais, Cláusulas e Monómios; Formas Normais NNF, CNF e DNF. Algoritmos de Conversão
Lógica Computacional Normalização e Formas Normais Literais, Cláusulas e Monómios; Formas Normais NNF, CNF e DNF Algoritmos de Conversão 2 Outubro 2014 Lógica Computacional 1 Forma Normal Negativa - NNF
Leia maisÁlgebra de Boole. Nikolas Libert. Aula 4B Eletrônica Digital ET52C Tecnologia em Automação Industrial
Álgebra de Boole Nikolas Libert Aula 4B Eletrônica Digital ET52C Tecnologia em Automação Industrial Álgebra de Boole Álgebra de Boole Augustus De Morgan (1806-1871) e George Boole (1815-1864). Desenvolvimento
Leia maisNível da Lógica Digital (Aula 6) Portas Lógicas e Lógica Digital Nível da Lógica Digital Estudar vários aspectos da lógica digital Base de estudo para os níveis mais elevados da hierarquia das máquinas
Leia maisUtiliza variáveis binárias, i.e., que só podem assumir um de dois valores: {0,1}; {Low,High}; {True,False}; etc.
Álgebra de oole binária através do recurso à utiliação de funções booleanas (ou funções lógicas) é a principal teoria de suporte às metodologias de síntese e análise de circuitos digitais. Utilia variáveis
Leia maisCircuitos Digitais. Conteúdo. Lógica. Introdução. Tabela-Verdade. Álgebra Booleana. Álgebra Booleana / Funções Lógicas. Ciência da Computação
Ciência da Computação Álgebra Booleana / Funções Lógicas Prof. Sergio Ribeiro Material adaptado das aulas de I do Prof. José Maria da UFPI Conteúdo Introdução Álgebra Booleana Constantes e Variáveis Booleanas
Leia maisÁLGEBRA BOOLEANA E LÓGICA DIGITAL AULA 04 Arquitetura de Computadores Gil Eduardo de Andrade
ÁLGEBRA BOOLEANA E LÓGICA DIGITAL AULA 04 Arquitetura de Computadores Gil Eduardo de Andrade O conteúdo deste documento é baseado no livro Princípios Básicos de Arquitetura e Organização de Computadores
Leia maisProjeto de Circuitos Lógicos. Introdução ao Computador 2010/01 Renan Manola
Projeto de Circuitos Lógicos Introdução ao Computador 2010/01 Renan Manola Blocos básicos dos circuitos lógicos Portas Lógicas (1) Transistor A lógica digital baseia-se no fato de que um transistor pode
Leia maisDescrevendo Circuitos Lógicos (Continuação) CPCX UFMS Slides: Prof. Renato F. dos Santos Adaptação: Prof. Fernando Maia da Mota
Descrevendo Circuitos Lógicos (Continuação) CPCX UFMS Slides: Prof. Renato F. dos Santos Adaptação: Prof. Fernando Maia da Mota 3.11 Teoremas de DeMorgan Demorgan, foi um grande matemático, tendo contribuído
Leia maisArquitetura de Computadores Aula 9 Portas Lógicas
Arquitetura de Computadores Aula 9 Portas Lógicas Prof. Fred Sauer http://www.fredsauer.com.br fsauer@gmail.com 1/18 * Definição * Tipos de portas lógicas (operadores) * Aplicações - porta de transferência
Leia maisCircuitos Digitais. Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional
Circuitos Digitais Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional OBJETIVOS DA AULA : - Conhecer aos Axiomas e Teoremas da Álgebra de Boole; Álgebra Booleana é uma técnica matemática usada quando
Leia maisSistemas Digitais (SD) Minimização de Funções Booleanas
Sistemas Digitais (SD) Minimização de Funções Booleanas Aula Anterior n Na aula anterior: u Funções lógicas: l Circuitos com portas NAND (revisão); l Circuitos com portas NOR (revisão); u Representações
Leia maisESCOLA ONLINE DE CIÊNCIAS FORMAIS CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) METALÓGICA DO CÁLCULO PROPOSICIONAL AULA 06 FORMAS NORMAIS
AULA 06 FORMAS NORMAIS Motivação inicial Nos vídeos anteriores, vimos que a partir de uma dada fórmula, podemos construir sua tabela verdade (função verdade). Agora, estamos interessados na recíproca:
Leia maisIntrodução à Computação: Introdução às Portas Lógicas
Introdução à Computação: Introdução às Portas Lógicas Beatriz F. M. Souza (bfmartins@inf.ufes.br) http://inf.ufes.br/~bfmartins/ Computer Science Department Federal University of Espírito Santo (Ufes),
Leia maisTransistor. Portas Lógicas (2) Base; Coletor; Emissor.
Nível da Lógica Digital Nível da Lógica Digital (Aula 6) Portas Lógicas e Lógica Digital Estudar vários aspectos da lógica digital Base de estudo para os níveis mais elevados da hierarquia das máquinas
Leia maisAula 4: Álgebra booleana
Aula 4: Álgebra booleana Circuitos Digitais Rodrigo Hausen CMCC UFABC 01 de fevereiro de 2013 http://compscinet.org/circuitos Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de 2013
Leia maisRealização técnica das funções da álgebra da lógica bivalente. Prof. Guilherme Tomaschewski Netto
Realização técnica das funções da álgebra da lógica bivalente Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Contextualização! Apresentação, um pouco de história Legendas! Nesta
Leia maisFunções e Portas Lógicas
Funções e Portas Lógicas 2. Funções Lógicas 2 2.1 Introdução 2 2.2 Funções Lógicas Básicas 3 2.2.1 Função Lógica NÃO (NOT) 3 2.2.2 Função Lógica E (AND) 3 2.2.3 Função Lógica OU (OR) 5 2.2.4 Função Lógica
Leia maisÁlgebra de Boole binária
Álgebra de Boole binária Fundamentação Funções lógicas de uma variável Funções lógicas de duas variáveis Princípio da dualidade Funções de n variáveis Definição formal da Álgebra de Boole Manipulação de
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor
Leia maisAPOSTILA COMPLEMENTAR
APOSTILA COMPLEMENTAR Conteúdo A ÁLGEBRA DE BOOLE... 1 Os níveis lógicos... 2 Operações Lógicas... 3 Função Lógica NÃO ou Inversora... 4 Função Lógica E... 5 Função lógica OU... 6 Função NÃO E... 7 Função
Leia maisCIRCUITOS DIGITAIS COMBINACIONAIS (Unidade 3)
MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO DISCIPLINA: ELETRÔNICA
Leia maisSistemas Digitais Álgebra de Boole Binária e Especificação de Funções
Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções João Paulo Baptista de Carvalho joao.carvalho@inesc.pt Álgebra de Boole Binária A Álgebra de Boole binária através do recurso à utiliação
Leia maisPostulado da complementação
Postulado da complementação ҧ ҧ ҧ Chamaremos A de o complemento de A 1) Se A = 0 A = 1 2) Se A = 1 A = 0 LOGO ഥA = A 1) Se A = 0, temos ҧ A = 1 ҧ ҧ A = 0 2) Se A = 1 temos ҧ A = 0 ҧ ҧ A = 1 Regras da adição
Leia maisIntrodução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
Leia mais3. Computadores Industriais
UNIVERSIDADE DO ESTADO DE SANTA CATARINA UDESC CENTRO DE CIÊNCIAS TECNOLÓGICAS CCT DEPARTAMENTO DE ENG. DE PRODUÇÃO E SISTEMAS - DEPS INFORMÁTICA INDUSTRIAL IFD 3. Computadores Industriais Igor Kondrasovas
Leia maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia maisÁlgebra de Boole. João Paulo Cerquinho Cajueiro 19 de agosto de 2009
Álgebra de Boole João Paulo Cerquinho Cajueiro 19 de agosto de 2009 A álgebra de Boole foi desenvolvida por George Boole(1815 1864) em seu livro An Investigation of the Laws of Thought on Which are Founded
Leia maisLÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 4. Lógica Proposicional A Linguagem da Lógica Proposicional Letras Proposicionais: P, Q, R, S, T,... Conectivos Lógicos: Símbolos auxiliares: (, ), = Conectivo Leitura Símbolo Símbolos
Leia maisLÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Conteúdo Programático Unidade I Linguagens Formais Linguagens Formais Sigma Álgebras Relação entre Linguagens Formais e Sigma Álgebras Sigma Domínios
Leia maisProgramação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre. T.06 Fundamentos delógica
Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre T.06 Fundamentos delógica Sumário : Abordagem à logica através da teoria de conjuntos: Operadores lógicos: união (OR), interseção
Leia maisAula 13. Conceitos Básicos de Eletrônica Digital Circuitos Combinacionais. Prof. Dr. Dilermando Piva Jr.
13 Aula 13 Conceitos Básicos de Eletrônica Digital Circuitos Combinacionais Prof. Dr. Dilermando Piva Jr. Site Disciplina: http://fundti.blogspot.com.br/ Tópicos Álgebra de Boole Portas Lógicas Circuitos
Leia maisUnidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
Leia maisAfirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Leia maisSistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração
Sistemas de Numeração Sistemas de Numeração (Aula Extra) Sistemas de diferentes bases Álgebra Booleana Roberta Lima Gomes - LPRM/DI/UFES Sistemas de Programação I Eng. Elétrica 27/2 Um sistema de numeração
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Leia maisÁlgebra Booleana: Axiomas, Teoremas e Leis de De Morgan
Arquitectura de Computadores I Engenharia Informática (11537) Tecnologias e Sistemas de Informação (6616) Álgebra Booleana: Axiomas, Teoremas e Leis de De Morgan Nuno Pombo / Miguel Neto Arquitectura Computadores
Leia maisMétodos de Verificação
Método de Na construção de derivações no sistema de cálculo de sequentes: Na aplicação de cada regra, só a manipulação referente à fórmula principal é informativa. A cópia dos contextos revela-se assim
Leia maisUniversidade Federal do ABC
Universidade Federal do ABC Eletrônica Digital Aula 2: Portas Lógicas Básicas Tocci, Sistemas Digitais, Cap. 3. https://sites.google.com/site/en2605edigital/edigital Prof. Rodrigo Reina Muñoz rodrigo.munoz@ufabc.edu.br
Leia maisSISTEMAS DIGITAIS MINIMIZAÇÃO DE FUNÇÕES BOOLEANAS
MINIMIZAÇÃO DE FUNÇÕES BOOLEANAS Outubro de MINIMIZAÇÃO DE FUNÇÕES BOOLEANAS - 2 SUMÁRIO: MINIMIZAÇÃO ALGÉBRICA MINIMIZAÇÃO DE KARNAUGH REPRESENTAÇÃO DE FUNÇÕES DE N VARIÁVEIS QUADROS DE 3 e 4 VARIÁVEIS
Leia maisORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site
!"#$%&"$!'!'"& '&()**+,(,-$%.!! /)(,-$'(),*0)**+ /'$/1'"%%!2%/! )**+, ORIENTAÇÃO Leia o Guia Logístico de Avaliação UNITINS publicado no site www.educon.br/unitins ATENÇÃO: 1. Verifique se a numeração
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisSSC0112 Organização de Computadores Digitais I
SSC2 Organização de Computadores Digitais I 4ª Aula Revisão de Lógica Digital Profa. Sarita Mazzini Bruschi sarita@icmc.usp.br Aula ministrada por Prof. Paulo Sergio Lopes de Souza Revisão de Lógica Digital
Leia maisCAPÍTULO 1 REVISÃO DE LÓGICA COMBINACIONAL
1 CAPÍTULO 1 REVISÃO DE LÓGICA COMBINACIONAL Sumário 1.1. Sistemas de Numeração... 3 1.1.1. Conversão Decimal Binária... 3 1.1.2. Conversão Binária Decimal... 3 1.1.3. Conversão Binária Hexadecimal...
Leia maisSistemas Digitais. Revisão Portas Lógicas. Isaac Maia
Sistemas Digitais Revisão Portas Lógicas Isaac Maia Portas Lógicas - Revisão Conteúdo Introdução Notações Tabela Verdade Diagramas de Tempo Porta OR(Operação OU) Porta AND(Operação E) Porta NOT(Inversor)
Leia maisCircuitos Sequenciais: Circuitos Combinacionais: SISTEMAS DIGITAIS. Módulo 2 Prof. Celso
1 Circuitos Combinacionais: São circuitos cuja saída depende apenas dos valores das entradas. Circuitos Sequenciais: São circuitos cuja saída depende tanto do valor atual das entradas quanto do valor anterior
Leia maisParte 2 CIRCUITOS COMBINACIONAIS
1 DEFINIÇÕES Parte 2 CIRCUITOS COMBINACIONAIS DEFINIÇÕES 09/08/2017 1 09/08/2017 2 1 DEFINIÇÕES Formalismo matemático 1 DEFINIÇÕES Tipos de lógica binária Lógica booleana Dois valores Lógica binária Escopo
Leia maisEletrônica Digital Portas Lógicas
Eletrônica Digital Portas Lógicas ELETRÔNICA DIGITAL Portas Lógicas Expressões Booleanas Tabela Verdade Simbologia 3 Portas Lógicas As portas lógicas são componentes básicos da eletrônica digital usados
Leia maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
Leia mais6. Análise Lógica Combinacional
Objetivos 6. Análise Lógica Combinacional Analisar circuitos lógicos combinacionais básicos, tais como AND-OR, AND-OR-inversor, EX-OR e EX- NOR Usar circuitos AND-OR e AND-OR-inversor para implementar
Leia maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia mais