3/11/2020 OneNote

Algebra di Boole
mercoledì 7 ottobre 2020 18:47

L'ALGEBRA DI BOOLE SI DEFINISCE COME :

_
< D={0,1}, '+', '*', ' ', MIN=0, MAX=1 >

CIOE' COME UN INSIEME D CHE HA DUE ELEMENTI 0 E 1,

TRE OPERAZIONI DENOMINATE "PIU'" "PER" E "COMPLEMENTO" DEFINITE DALLE TABELLE DI VERITA'
RIPORTATE SOTTO
UN ELEMENTO DEFINITO MINIMO (LO 0), UN ELEMENTO DEFINITO COME MASSIMO (L' 1)

TABELLE DI VERITA'

A B A+B A*B
0 0 0 0
0 1 1 0
1 0 1 0
1 1 1 1

A NOT A
0 1
1 0

PROPRIETA' DELL'ALGEBRA DI BOOLE

COMMUTATIVA A+B = B+A A*B=B*A

ASSOCIATIVA A+(B+C)=(A+B)+C A*(B*C)=(A*B)*C
DISTRIBUTIVA A*(B+C)=A*B+A*C A+(B*C)=(A+B)*(A+C)
IDEMPOTENZA A+A=A A*A=A
ELEMENTO NEUTRO A+0=A A*1=A
MINIMO E MASSIMO A+1=1 A*0=0
ASSORBIMENTO A+A*B=A A*(A+B) = A
COMPLEMENTO A + NOT(A) = 1 A * NOT (A) = 0

A+A*B = A*1+A*B = A * (1+B) = A * 1 = A

A*(A+B) = A*A + A*B = A + A*B = A

PRINCIPIO DI DUALITA'
+ *
* +
0 1
1 0

TEOREMA DI DE MORGAN

https://communitystudentiunina.sharepoint.com/sites/FondamentidiInformaticaFuorigrottaFES-MAR/_layouts/15/Doc.aspx?sourcedoc={b6c44bc4… 1/2
3/11/2020 OneNote

https://communitystudentiunina.sharepoint.com/sites/FondamentidiInformaticaFuorigrottaFES-MAR/_layouts/15/Doc.aspx?sourcedoc={b6c44bc4… 2/2