Você está na página 1de 6

Automação de Processos Industriais

Álgebra de Boole

Docentes: Mário J. G. C. Mendes

Francisco Campos George Boole (1815-1864)


Matemático e filósofo britânico
Fernando Carreira

Licenciatura em Engenharia Mecânica 1

Álgebra de Boole

A álgebra booleana fornece a base para a análise da


validade das proposições lógicas

◼ Proposições lógicas;
◼ Leis fundamentais;
◼ Álgebra de Boole;
◼ Funções lógicas;
◼ Teoremas e propriedades.

Licenciatura em Engenharia Mecânica 2

1
Proposição lógica

◼ É uma frase que admite dois valores lógicos:


Verdadeiro (V) ou Falso (F).

◼ Frases que não são proposições


 Quer um café?
 Penso que vou gostar de Automatismos.

◼ Frases que são proposições


 A lua é o único satélite do planeta terra (V)
 Porto é capital de Portugal (F)
 O numero 711 é ímpar (V)

Licenciatura em Engenharia Mecânica 3

Leis fundamentais da lógica

◼ Lei do Meio Exclusivo


 Um proposição é falsa (F) ou verdadeira (V): não há
meio termo.

◼ Lei da Contradição
 Uma proposição não pode ser, simultaneamente, V
e F.

◼ Lei da Funcionalidade
 O valor lógico (V ou F) de uma proposição composta
é unicamente determinada pelos valores lógicos de
suas proposições constituintes.

Licenciatura em Engenharia Mecânica 4

2
Álgebra de Boole

Os termos elementares na Lógica Boleana são


proposições lógicas
Ex: ‘O sensor A está actuado’ é uma proposição lógica

As proposições lógicas assumem valores lógicos – Verdadeiro e Falso

A=F A=V

Em diferentes instantes a proposição será Verdadeira, noutros Falsa.

Licenciatura em Engenharia Mecânica 5

Álgebra de Boole

Os elementos lógicos físicos permitem realizar funções lógicas

Estes elementos produzem sinais, que representam as


variáveis lógicas ou os resultados de operações lógicas
Exemplo:
A=‘O sensor A está actuado’

24 v 24 v

0v 24 v

A=F A=V

Licenciatura em Engenharia Mecânica 6

3
Álgebra de Boole
Boole propôs que as proposições lógicas deveriam ser expressas como equações
algébricas. A manipulação algébrica dos símbolos nas equações fornece um método
à prova de falhas na dedução lógica, ou seja, a lógica pode ser reduzida à álgebra.

Exemplo: A=‘O sensor A está actuado’

24 v 24 v

0v 24 v

A=F A=V

Os símbolos nas equações podem representar coleções de objetos (conjuntos)


ou declarações em lógica.

Licenciatura em Engenharia Mecânica 7

Funções Lógicas
Pretende-se que o cilindro avance apenas A= ‘o botão A
quando ambos os botões estão accionados está accionado’

B= ‘o botão B
está accionado’

Estabelece-se uma relação lógica entre C e A,B. C= ‘o Cilindro


C avança’
À operação que define essa relação dá-se o nome
de função and
Descrição da função:
A B C Tabela de Verdade
A B A.B 24 v A
0 0 0
0 1 0
1 0 0 .
A.B
1 1 1

Licenciatura em Engenharia Mecânica 8

4
Funções Lógicas

Exemplo
Implementação pneumática da função de comando de uma prensa.

‘O cilindro C avança quando


A e B estão actuados’
A

A.B

C= A.B
.

Licenciatura em Engenharia Mecânica 9

Funções Lógicas
Função AND e NAND
Função NOT A B A.B A.B
A A 0 0 0 1
0 1 0 1 0 1
1 0 1 0 0 1
1 1 1 0

Função OR e NOR Função XOR e NXOR


A B A+B A+B
A B XOR NXOR
0 0 0 1
0 0 0 1
0 1 1 0
0 1 1 0
1 0 1 0
1 0 1 0
1 1 1 0
1 1 0 1

Licenciatura em Engenharia Mecânica 10

10

5
Teoremas e Propriedades
0+A=A Elemento Neutro 1.A=A
1+A=1 Elemento Absorvente 0.A=0
A+A=A Idempotência A.A=A
A+A=1 Complementaridade A.A=0
A+B=B+A Comutividade A.B=B.A
A+A.B=A Absorção A.(A+B)=A
A+A.B=A+B Absorção A.(A+B)=A.B
A.B=A+B Leis de Morgan A+B=A.B
A+(B+C)=(A+B)+C Associatividade A.(B.C)=(A.B).C
A.(B+C)=A.B+A.C Distributividade A+(B.C)=(A+B)(A+C)
Ā=A Involução

Licenciatura em Engenharia Mecânica 11

11

Você também pode gostar