lgebra de Boole

Nome: Wanderson Ramos dos Santos

Matricula: 171057600077

Curso: ABI

Turma: B

*Definio de operador binrio:

Um operador binrio, um operador que trabalha com a representao binria

do nmero, ou seja, ele consegue representar todos os nmeros naturais, com apenas
dois valores: 0 (zero) e 1 (um).

*Definio de um sistema algbrico (uma lgebra):

A lgebra o ramo da matemtica que utiliza nmeros, letras e sinais, para

demonstrar as operaes aritmticas, tendo como operaes bsicas a soma, subtrao,
diviso e multiplicao.

*Propriedades da lgebra booleana:

Associativa:
Adio Multiplicao
. (p + q) + r = p + (q + r) . (p q) r = p (q r)

Comutativa:
Adio Multiplicao
.p+q=q+p .pq=qp

Idempotente:
Adio Multiplicao
.p+p=p .pp=p

Absoro:
Adio Multiplicao
. (p q) + p = p . (p + q) p = p

Distributiva:
Adio Multiplicao
. p + (q r) = (p + q) (p + r) . p (q + r) = (p q) + (p r)

Propriedades do 0:
Adio Multiplicao
.p+0=p .p 0 = 0
Propriedades do 1:
Adio Multiplicao
.p+1=1 .p1=p

Quaisquer que seja p em B, existe p em B tal que:

Adio Multiplicao
. p + p = 1 . p p = 0

*Definio de funo de booleana:

A funo Booleana avalia o parmetro e retorna true ou false (verdadeiro ou

falso), dependendo do tipo de dados da entrada:

.nmero true se o nmero no for 1, false se o nmero for 0;

.cadeia true a menos que a cadeia fique vazia;

.dt true para todos os tipos de data ou hora.

*Representao de funo booleana:

Funo OU ou OR: Funo E ou AND

.A or B .A and B

A B AorB A B AandB
0 0 0 0 0 0
0 1 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1

Funo NO ou NOT: Funo NE ou NAND:

.A not A .A nand B

A NotA A B AnandB
0 1 0 0 1
1 0 0 1 1
1 0 1
1 1 0
Funo NOU ou NOR:

.A nor B

A B AnorB
0 0 1
0 1 0
1 0 0
1 1 0

*Formas normais disjuntivas:

Uma frmula normal conjuntiva (FNC) se, e somente se:

.no mximo contem os conectivos ~, e ;

. ~ somente tem alcance sobre as letras proposicionais;

. no aparecem sinais de negao sucessivos como ~ ~ ;

. no tem alcance sobre , isto , no h expresses do tipo p ( q r ).

Exemplos: (~p q ) (r s p ) , ~ p q , ~q

*Formas normais conjuntivas:

Uma frmula normal disjuntiva (FND) se, e somente se:

. no mximo contem os conectivos ~ , e ;

. ~ somente tem alcance sobre as letras proposicionais;

. no aparecem sinais de negao sucessivos como ~ ~ ;

. no tem alcance sobre , isto , no h expresses do tipo p ( q r ).

Exemplos: p (q r ) ( q p ) , ~ p q , ~q , ~ p q
 Referncias Bibliogrficas

http://www.pucsp.br/~logica/Booleana.htm

http://conceito.de/algebra

https://conceitos.com/algebra/

http://pt.okpedia.com/%C3%81lgebra_booleana

http://blog.bsoares.com.br/aspnet/operacoes-binarias

http://wiki.foz.ifpr.edu.br/wiki/images/7/70/Aula6-Mauro.pdf