Sei sulla pagina 1di 18

14/3/2015

AlgebradiBooleWikipedia

AlgebradiBoole
DaWikipedia,l'enciclopedialibera.

Inmatematica,informaticaedelettronica,l'algebradiBoole,anchedettaalgebrabooleanaoreticolo
booleano,un'algebraastrattacheoperaessenzialmenteconisolivaloridiverit0e1.Inuna
formulazionepigenerale,l'algebrabooleanasifondasuuninsiemeKchenoncomprendesoloivalori0
e1tuttaviaquestastrutturaalgebricanasceperelaborarematematicamenteespressioninell'ambitodella
logicaproposizionale
MatematicamentesidicealgebradiBooleunqualunquereticolodotatodipropriet,qualiladistributivit,
l'esistenzadiminimoemassimoel'esistenzadelcomplemento:l'algebrabooleanarisultacriptomorfa,cio
associatabiunivocamenteeinmododarisultarelogicamenteequivalente,auninsiemeparzialmente
ordinatoreticolato.D'altraparteognialgebrabooleanarisultacriptomorfaaunparticolaretipodianello,
chiamatoanellobooleano.Lastrutturapuesserespecificataattraversogruppieanellioattraversoi
reticoliinmododeltuttoequivalente.
TalealgebrapermettedidefinireglioperatorilogiciAND(prodottologico),OR(sommalogica)epoi
NOT(negazioneocomplementazione),lacuicombinazionepermettedisvilupparequalsiasifunzione
booleana(perquestoAND,OReNOTcostituisconouninsiemefunzionalmentecompleto)econsentedi
trattareinterminiesclusivamentealgebricileoperazioniinsiemistichedell'intersezione,dell'unioneedella
complementazione,oltreaquestioniriguardantisingolibit0e1,sequenzebinarie,matricibinariee
diversealtrefunzionibinarie.
L'algebrasviluppatanel1854all'UniversityCollegediCorkdaBooleperscrivereinformaalgebricala
logicadelleproposizioni,assumeoggiunruoloimportanteinvariambiti,inparticolarenellalogica
matematicaenell'elettronicadigitale,dovenellaprogettazionedeicircuitielettronicirivestonogrande
importanzaiteoremideducibilidagliassiomichefondandol'algebraeinparticolaresiricordiilteoremadi
Shannondel1940utilizzatoperscomporreunafunzionebooleanacomplessainfunzionipisemplici,o
perottenereun'espressionecanonicadaunatabelladellaveritodaun'espressionenoncanonica.

Indice
1Definizioneformale
1.1Leggedidualit
1.2Complementidi0e1
1.3Convoluzione
1.4Elementineutri
1.5Assorbimentodelcomplemento(secondoteoremadell'assorbimento)
1.6Teoremadell'elementounico
1.7Principiodieliminazione
2Funzionibooleane
2.1Funzioneduale
3Basi
3.1Reticolo
3.2Anello
3.3Shefferstroke
4Operatoribooleani
http://it.wikipedia.org/wiki/Algebra_di_Boole

1/18

14/3/2015

AlgebradiBooleWikipedia

4.1NOT
4.2Buffer
4.3AND
4.4OR
4.5XOR
4.6NAND
4.7NOR
4.8XNOR
5Algebradeicircuiti
6Esempi
7Omomorfismieisomorfismi
8Espressionibooleane
9Rappresentazionedellealgebrebooleane
10Bibliografia
11Vocicorrelate
12Altriprogetti
13Collegamentiesterni

Definizioneformale
Sivuoleintrodurrel'algebradiBooleconsiderandolacomereticolo.
SiparladialgebradiBooleinriferimentoauninsiemeKsulqualesonodefiniteleoperazionidisomma
logica(+,OR)eprodottologico(*,AND),ciounatripla(K,+,*),checostituisceunreticoloincuisono
inoltresoddisfattelaproprietdistributiva,l'esistenzadelminimoedelmassimoel'esistenzadel
complemento.
Neldettagliosihaun'algebradiBoolequandosu

sonosoddisfatteleseguentipropriet:

Commutativa
Associativa
Assorbimento
Distributiva
Idempotenza

Esistenzadiminimoemassimo
Esistenzadelcomplemento

http://it.wikipedia.org/wiki/Algebra_di_Boole

2/18

14/3/2015

AlgebradiBooleWikipedia

Ilmodoincuisonoelencateleproprietvuolemettereinevidenzalasimmetriachec'traidueoperatori
chepoiall'originedellaleggedidualitealtreproprietmoltoimportanti.Nell'elencaregliassiomiil
complementostatoindicatoconun"!"(puntoesclamativo)antecedenteallavariabilebooleana
(notazionetipicadellaprogrammazioneinCeC++)ilcomplementopuancheessereindicatoconun
trattinosullavariabile(chetipograficamentedifficiledarealizzare,ancheselanotazionemigliore),con
unoslashprimadellavariabileoaddiritturaconunsegnomenoantecedenteaessa,quandononuna
notazioneequivoca.Ilcomplementocorrispondeall'operazionelogicaNOT.
Un'ultimaosservazioneriguardailfattoche,leprime4proprietriguardanoireticoliingenerale,le
restantisonopropriedell'algebradiBoolechesarquindiindicataconlasestupla(K,+,*,!,0,1).Datala
formulazionegenerale,daquestomomentoinpoicisiriferisceall'algebraprimordialecheconsideraK=
{0,1},ciol'insiemesucuisibasal'algebradiBoolecompostosolamentedalminimoedalmassimo.
Sielencanooralaleggedidualitealcuneproprietderivantidagliassiomioravisticonlerelative
dimostrazionioltreaquesteconseguenzecisonopoidueimportantiteoremidell'algebrabooleanache
sonoiteoremidiDeMorganeilteoremadiShannon.Iteoremichesidimostranoorasonovalidiper
qualsiasi"porzionedirealt"chesoddisfagliassiomidiquest'algebraastrattaeinparticolaresaranno
applicabilinell'algebradegliinsiemi,nell'algebradellalogicadelleproposizionienell'algebradeicircuiti.

Leggedidualit
Daqualsiasiidentitbooleanaseneputrarreun'altraperdualit,sostituendocioaognioperatoreeagli
elementi0e1ilrispettivoduale:ildualedi+*,ildualedi01(ladimostrazionediquestostaal
prossimoparagrafo),ildualediaingenerale!a(anegato,NOTa).
Grazieaquestaleggesipuvederecomei14postulatidatiperdefinirel'algebrabooleananonsonotutti
indipendentitraloro:inparticolaresivedechePXePX'(perX=1,...,7)sonounoildualedell'altro.

Complementidi0e1
0e1sonounoilcomplementaredell'altro:perdimostrarlobastaverificareladefinizionedicomplemento,
cioche

Sivedeimmediatamenteche

applicandorispettivamentelaproprietdelminimoequelladelmassimoeilteoremaoraenunciatorisulta
cosdimostrato.
Sinotache,percomestrutturataquest'algebra,questadimostrazionehapermessodidimostrareapartire
dagliassiomichel'elementoneutroesisteedunico(l'esistenzanonquindipostulatael'unicitinsita
nell'esistenzaessendosolo2ivaloriconcuistalavorando,cosanonveraperaltritipidialgebraealtre
strutturealgebriche!).

Convoluzione
Negandoduevoltelostessoelementosiottienel'elementostesso(logicaaristotelica:unadoppia
negazionecorrispondeaun'affermazione).

http://it.wikipedia.org/wiki/Algebra_di_Boole

3/18

14/3/2015

AlgebradiBooleWikipedia

Perdimostrarlobastaconsiderarel'assiomadiesistenzadelcomplementoconsideratosudueelementiae
b=!a:

Essendovalidalaproprietcommutativaesiccomeilcomplementoesisteunico,senededucefacilmente
che
,chequellochesivolevadimostrare.

Elementineutri
0l'elementoneutrodellasommae1l'elementoneutrodelprodotto.
Perladimostrazionebastasfruttarelaproprietdell'assorbimentograzieallaqualesideduceche:

Ora,sfruttandolaproprietdelmassimoeminimoperlaqualea*0=0ea+1=1,sideducefacilmenteche:

chequellochesidovevadimostrare.

Assorbimentodelcomplemento(secondoteoremadell'assorbimento)
L'assorbimentodelcomplementodiceche

Perdimostrarlobastaapplicarelaproprietdistributivasecondolaquale:

dopodich,notandochea+!a=1eche1l'elementoneutrodelprodottologicorisultadimostratoil
teorema.
Perlaleggedidualitsicapisceanchecheesisteunteoremadualeaquestochesar:

Questoteoremapuesserepresoperveroaccettandolavaliditdellaleggedidualitoppurepuessere
dimostratoinmododeltuttoanalogoalprecedente.Sinotache,nelloscriverel'espressioneduale,si
dovutarispettarelaprecedenzadiapplicazionedelleoperazioniepercileparentesiintornoada+!bdella
secondaespressionesononecessarie!

Teoremadell'elementounico
Se
e
,allorayunico(oanchexunicoperchsivedeche,essendovalidala
proprietcommutativa,ilruolodixeynelleespressionilostesso!).
Perladimostrazionesisupponeperassurdocheesistanoduevaloridistintiyezchesoddisfanoledue
espressioni,ecio
http://it.wikipedia.org/wiki/Algebra_di_Boole

4/18

14/3/2015

AlgebradiBooleWikipedia

Essendoancheche

siottenutoche

Nell'ultimopassaggiosisfruttatoilprincipiodiequivalenzadelleeguaglianzeenonsisemplificatola
x,cosachenonstatadimostrataenonpuesseredimostratainquest'algebra.Allora,quellochesihaora
che

Moltiplicandomembroamembroeutilizzandolaproprietdistributivasiha:

cioy=zepercil'elementochesoddisfaleduerelazioniscrittesopraunico.

Principiodieliminazione
Comesiaccennatoprima,nell'algebradiBoolenonvalgonoiprincipidieliminazione,ciononvale
che:

Valechey=zsolamentesequestedueespressioniorascrittevalgonocontemporaneamente!
L'unicacosachesipudireinvecenelcasoincuivalgasololaprimaespressioneche:

Funzionibooleane
Perapprofondire,vediFunzionebooleana.

L'algebradiBoolelatrattazionedell'algebrauniversaleaduestatiedeimodelliditaleteoria,detti
algebrebooleane.L'algebrauniversalesioccupadistudiarelafamigliadioperazionisuuninsieme,detto
insiemefondamentaledellafamigliaalgebrica,enelcasodellastrutturaalgebricabooleanaquesto
contieneisolivalori0e1.Inpraticalealgebrebooleanesioccupanodellatrattazionedellefunzioni
booleanedicuiorasiaccennanolenozioniprincipali:lostudiodiquestefunzionifondamentaleoggiper
lostudiodicircuitieretilogiche,percisenepossonovederesubitogliscopipratici,mal'importanzadi
questestrutturealgebrichenonsilimitasoloaquestoperchanchefondamentalenellostudiodelle
proposizioniedell'insiemistica,chesonoargomentiunpo'piastrattimaaltrettantovalidieimportanti.
Ilnumerodegliargomenticherichiedeunaoperazionedefinitasull'insiemefondamentaledettoariet
(un'addizioneadesempioun'operazionediariet2,anchedettaoperazionebinaria):un'operazionesu
{0,1}diarietnpuessereapplicataaognunodei2npossibilivalorideisuoinargomenti(ciobasta
calcolareledisposizionidi2elementisunposti!),adesempiosesihaun'operazionediariet3,datoche
K={0,1},gliargomentipossibilisono000,001,010,011,100,101,110,111chesono8.
http://it.wikipedia.org/wiki/Algebra_di_Boole

5/18

14/3/2015

AlgebradiBooleWikipedia

Perognisceltadiargomentil'operazionepuprodurreisolirisultati0e1eperquestocisono22
operazionidinargomenti:questonumerocorrispondequindialnumerototaledifunzionipossibilidin
variabilinell'algebrabooleana.
0

L'algebraaduestatipossiede2operazioniconnessunargomento(22 )cherestituisconoivalori0e1
1

senzaconsiderarenessunargomento,e4operazioniconunsoloargomento(22 ):leoperazionipossibili
sonodue(21),l'identitelanegazioneeperciintotaleleoperazionisono4inquantosiha00(id.),
01(neg.),10(neg.),11(id.).Visonopoi16operazionibinarie,256operazioniternarie,65.536
operazioniquaternarieecosvia.
Siccomel'algebradicuistaparlandofondatasuuninsiemefinito,unafunzionepuessererappresentata
oltrecheinformaalgebrica(ciocomposizionediAND,OReNOT),informatabellare,cioconuna
tabellaincuiaognicomposizionedellevariabili"diinput"(usandounaterminologiapiinformatica)sifa
corrisponderel'uscita(oancheleuscite):tuttelefunzioni,anchedialtrealgebre,possonointeoriaessere
rappresentatetramitetabellemasel'insiemesucuifondatal'algebrainfinito(adesempiol'insiemedei
numerireali)nonunmodocomodoperstudiarelafunzioneperl'algebrabooleanausareletabelleun
modoutileperstudiarelefunzionieadesempiopermettefacilmentelacostruzionedicircuitiereti
logichenelleapplicazionielettroniche.Unesempioditabellesihaconsiderandooperazionibinariechesi
givistoessere16:
A B f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16
0 0

0 0 0 0 0 0 0 0 1

0 1

0 0 0 0 1 1 1 1 0

1 0

0 0 1 1 0 0 1 1 0

1 1

0 1 0 1 0 1 0 1 0

Unafamiglia,dettaancheindice,indicizzatadauninsiemediindici,chenelcasodiunafamigliadi
operazionicostituentiun'algebrasonodettisimbolidell'operazioneecostituisconoillinguaggio
dell'algebrainoggetto.L'operazioneindicizzatadaundatosimbolodettainterpretazioneditalesimbolo,
eognisimbolodefinisceilnumerounivocodiargomentidellerispettiveinterpretazionipossibili.Nelcaso
consideratoviunacorrispondenzabiunivocatrasimboloeinterpretazione.L'algebradiBoolehatanti
simboliquantesonoleoperazionipossibilidettisimbolidioperazionebooleana,anchesepoche
operazionihannosimboliconvenzionali,quali!perlanegazione,+perlacongiunzionee*perla
disugiunzione.Ingeneralesiindicaconnfil'iesimosimbolodinargomenti.Nell'ultimoesempio
consideratoinvecesidunsimboloperognunadelle16funzionipossibilioanchepossibileesprimere
ognifunzionecomeopportunacombinazionedeisimboliconvenzionalifondamentali,cioAND(*),OR
(+)eNOT(!).

Funzioneduale
Dataunafunzione
inqualsiasiformasidefiniscefunzionedualedi esiindicacon
unafunzionechehaperformalaformadualedi ,adesempio:

Laformadualedeverispettareleprecedenzediapplicazionedell'operazionedellaformadipartenza,per
questomotivo,laddovenonc'eranodelleparentesiperchlaANDhaprecedenzasullaOR,nelmomento
incuilaANDdiventaORelaORdiventaAND,puessercibisognodiparentesi.
http://it.wikipedia.org/wiki/Algebra_di_Boole

6/18

14/3/2015

AlgebradiBooleWikipedia

Un'altraosservazionemoltoimportantechelevariabili,enonlecostanti0e1,possonoanchenonessere
negateperchcomunquelavariabiledovrassumeretuttiivaloripossibilieperci,checisiaomenola
negazione,lafunzionenoncambia:nelcasovistoprimaalloralafunzionedualepuancheesserescritta
come

doveSinotachelacostantestatanegata!Questaosservazionepuessereimportantenelmomentoincui
sivaaprogettareunaretelogicaperchsignificarisparmiareporteNOT,oancheingenerale,
nell'espressionealgebricasempreutileavereoperazioniinmenodafare.

Basi
Uninsiemefunzionalmentecompletouninsiemedioperazionilacuicomposizionepermettediottenere
tutteleoperazioniappartenentiall'algebraeavoltecisiriferisceaquesticonilterminebase,usatoin
accezionediversarispettoallebasidispazivettoriali.Letreprincipalibasiusatenell'algebrabooleana
sono:
Ilreticolo,unabaselogicaintrodottaneldiciannovesimosecolodaGeorgeBoole,CharlesSanders
Peirceealtrimatematicichecercavanounaformalizzazionealgebricadeiprocessilogici.
L'anellobooleano,unabase(nonaritmetica)introdottanelventesimosecolodaIvanIvanovich
ZhegalkineMarshallStonecheprovienedall'algebraastratta.
LabaseNAND,originatadalfattochetramitel'operazionediNANDpossibileotteneretuttele
operazionisull'insieme{0,1}.Talebaseutilizzatainparticolarenellaconfigurazionedeicircuiti
logiciinelettronicadigitale.
Glielementicomuniareticoloeanellosonolecostanti0e1eun'operazionebinariaassociativae
commutativa,chenellabasedelreticolodettaincontro,daltermineinglesemeet,edenotatatradue
elementixeydalsimboloxy,mentrenellabasedell'anellodettamoltiplicazioneedenotataxy.Labase
delreticolohainoltreleoperazionialgebrichediunionexyecomplementox,mentrelabasedell'anello
hal'ulterioreoperazione(nonaritmetica)diaddizionexyox+y.

Reticolo
Nellabasedelreticoloaun'algebrabooleana(A, , )siassociauninsiemeparzialmenteordinato(A, ),
definendo:

cheancheequivalentea

possibileancheassociareun'algebrabooleanaaunreticolodistributivo(A, ),consideratocome
insiemeparzialmenteordinato,dotatodielementominimo0edielementomassimo1,incuiogni
elementoxhauncomplementare taleche

http://it.wikipedia.org/wiki/Algebra_di_Boole

7/18

14/3/2015

AlgebradiBooleWikipedia

Qui e sonousatiperdenotarel'infeilsupdidueelementi.Seicomplementiesistono,allorasono
unici.

Anello
Labasedell'anellodellagenericaalgebrabooleana(A, , )definitacome(A,+,*),definendoa+b:=
(a
b) (b
a).Intaleanellol'elementoneutroperlasommacoincideconlo0dell'algebra
booleana,mentrel'elementoneutrodellamoltiplicazionel'elemento1dell'algebrabooleana.Questo
anellohalaproprietchea*a=aperogniainAglianelliconquestaproprietsonochiamatianelli
booleani.
Viceversa,assegnatounanellobooleanoA,essopuesseretrasformarloinun'algebrabooleanadefinendo
x y=x+yx yex y=x y.Poichquestedueoperazionisonol'unal'inversadell'altra,sipu
affermarecheognianellobooleanocriptomorfodiun'algebrabooleanaeviceversa.Inoltre,unafunzione
f:A Bunomomorfismotraalgebrebooleaneseesoltantoseunomomorfismotraanellibooleani.
Lacategoriadeglianellibooleaniedellealgebrebooleanesonoequivalenti.
Unanelloidealedell'algebrabooleanaAunsottoinsiemeItalecheperognix,yinIsihax yinIeper
ogniainAa xinI.Questanozionediidealecoincideconlanozionedianelloidealeneglianelli
booleani.UnidealeIdiAdettoprimoseI Aesea binIimplicasempreainIobinI.UnidealeI
diAdettomassimaleseI Aesel'unicoidealepropriocontenenteIAstesso.Questanotazione
coincideconlanotazioneteoricadelidealeprimoeidealemassimalenell'anellobooleanoA.
Ildualediunidealeunfiltro.Unfiltrodell'algebrabooleanaAunsottoinsiemeFtalecheperognix,y
inFsihax yinFeperogniainAsea x=aalloraainF.
L'operazionedicomplementazione*applicataaisottoinsiemimandadunquegliidealiinfiltrieviceversa:
seBun'algebrabooleanae
unsuoideale(proprio),allora
ilfiltro
(proprio)dualediI.Seinvece
dualediF.

unfiltro(proprio),

l'ideale(proprio)

Shefferstroke
LabaseShefferstrokeoNANDsibasasulleoperazioniNOTeAND,tramitelequalipossibileottenere
tutteleoperazionibooleane.Un'algebrabooleanapuesseredefinitasiadaNOTeANDsiadaNOTe
OR,essendopossibiledefinireORattraversoNOTeANDcoscomeANDattraversoNOTeOR:

Lacollezionedituttiisottoinsiemidiundatoinsieme,ovverol'insiemedellepartioinsiemeambiente,
munitadelleoperazionidiunione,intersezioneecomplementazionediinsiemi,chegiocano
rispettivamenteilruolodiOR,ANDeNOT,costituisceun'algebrabooleana.
Piformalmente,seBuninsiemeformatodaalmeno2elementi,l'algebrabooleanaaventeBcome
supportolastrutturaalgebricacostituitadaB,dadueoperazionibinariesuB,OReAND,da
un'operazioneunariaNOTsuBedall'elemento0diB,iqualigodonodelleseguentipropriet:
SimmetriadiAND:
SimmetriadiOR:
InvoluzionediNOT:
LeggidiDeMorgan:
http://it.wikipedia.org/wiki/Algebra_di_Boole

8/18

14/3/2015

AlgebradiBooleWikipedia

L'insiemeBinoltrelimitatoinferiormente,essendo:

L'elemento1definitocomelanegazione,oilcomplementare,dello0:1:=NOT(0).L'insiemeB
dunquelimitatosuperiormente,essendo:

einparticolare
0AND1=00OR1=1
Sidefinisceinoltre,comeoperazionederivatadalleprecedenti,l'operatorebinarioOResclusivo,denotato
XOR:

Inquestaalgebraall'operatoreXORcorrispondeladifferenzasimmetrica:

InelettronicalaportalogicaNANDcostituitadaningressieun'uscitachesiportaalivello0solosegli
ningressisiportanoalivello1.corrispondenteallaconnessioneinseriediunaportaANDediuna
NOT.

Operatoribooleani
Perapprofondire,vediPortalogica.

Sivistocheglioperatoridell'algebrabooleanapossonoessererappresentatiinvarimodi,maspessosono
scrittisemplicementecomeAND,OReNOTchelascritturacheutilizziamooraperparlaredegli
operatoribooleani.Nelladescrizionedeicircuiti,possonoancheessereusatiNAND(NOTAND),NOR
(NOTOR)eXOR(OResclusivo).
Lediversesimbologieperrappresentareglioperatorisonoscelteinbasealcampoincuisilavora:i
matematiciusanospessoilsimbolo+perl'OR,eo*perl'AND,inquantoperalcuniversiquesti
operatorilavoranoinmodoanalogoallasommaeallamoltiplicazione.LanegazioneNOTviene
rappresentataspessodaunalineadisegnatasopral'argomentodellanegazione,ciodell'espressioneche
deveesserenegata.Oppureininformaticasiutilizzailsimbolo|o||perl'OR,&o&&perl'AND,e~o!
perNOT(es.AORBANDNOTCequivaleaA|B&~CoppureaA+B*!C).Seciriferisceaglioperatori
conisimbolidisommaemoltiplicazioneepoiintendelanegazionecomesefosseuna"elevazionea
potenza",faciledaricordarel'ordinediapplicazionedeglioperatori:primasiapplicanolenegazioni,poi
leANDepoileOR.
Nellaprogettazionedicircuitielettronici,vengonoutilizzatiancheglioperatoribreviNAND(AND
negato),NOR(ORnegato)eXNOR(XORnegato):questioperatori,comeXOR,sonodellecombinazioni
deitreoperatoribaseevengonousatisoloperrenderelanotazionepisemplice.
Operatori:
NOTsimbolialternativi:x,~,,!(inCeC++)
ANDsimbolialternativi:*, ,&,&&(inCeC++),BUT(usatonellalogicabooleanainsiemeal
NOT)
http://it.wikipedia.org/wiki/Algebra_di_Boole

9/18

14/3/2015

AlgebradiBooleWikipedia

ORsimbolialternativi:+, ,|,||(inCeC++)
XORsimbolialternativi:, ,,^,EOR,orr
NANDsimboloalternativo:
NORsimboloalternativo:
XNOR
OUI
Valori:
verosimbolialternativi:true,1,ON,SI(YES),alto
falsosimbolialternativi:false,0,OFF,NO,basso
Inelettronicadigitalevienedefinitoverounbit1,siainInputsiainOutput,chedisolitoassumeilvalore
di5V,mentrevienedefinitofalsounbit0,siainInputsiainOutput,cheassumeilvaloredi0V.
Diseguitosonoindicatiglioperatoripicomunielerispettiveportelogiche:

NOT
Perapprofondire,vediInvertitore.

L'operatoreNOTrestituisceilvaloreinversoaquelloinentrata.UnaconcatenazionediNOT
semplificabileconunsoloNOTincasodidispariripetizionioconnessunonelcasodipari.Inoltrelaporta
logicaNOTpossiedeunasolavariabilebinaria.
A NOTA
0

Spesso,alfinedisemplificareespressionicomplesse,siusanooperatoribrevicheunisconol'operazionedi
NOTadaltre:questioperatorisonoNOR(OR+NOT),NAND(AND+NOT),XNOR(XOR+NOT).La
negazione,inquesticasi,vieneapplicatadopoilrisultatodell'operatoreprincipale(OR,AND,XOR).
IlsimbolodiunaportaNOT

Buffer
Bufferlanegazionedelrisultatodell'operazioneNOTrestituisceilvaloreugualeaquelloinentrata.Il
Buffernonunveroepropriooperatore,poichinrealtnonmanipolal'informazionechericeve,bensla
lasciapassareinvariatailBufferdunquesemplificabileconuncollegamentoprivodioperatori.
A BufferA
0

IlsimbolodiunaportaBuffer:

http://it.wikipedia.org/wiki/Algebra_di_Boole

10/18

14/3/2015

AlgebradiBooleWikipedia

compostadaunNOTinserieaunaltroNOT.
Laragionepercuisiparladiquesto"pseudooperatore"datadaquestionidisincroniadeisegnali:
quandositrattadicircuitieretilogicheinmodopiapprofonditosirendenecessarioconsiderareancheil
tempoincuiilsegnalearrivael'elementobuffervieneinterpretatoinquesticasicomeunritardoapplicato
auncertosegnale.

AND
L'operazioneANDdcomevalore1setuttiglioperandihannovalore1,mentrerestituisce0intuttigli
altricasicomeadesempioquandounaportaaltamentrelealtresonobasseepuesseremessainserie.
Taleoperazioneanchedettaprodottologico.Diseguitolatabellarappresental'operatoreANDnelcaso
didueentrate,maladefinizionedataorageneralizzataaningressi:
A B AANDB
0 0

0 1

1 0

1 1

Siccomequestaoperazionegodedellaproprietassociativa,possibilerealizzareun'operazionelogica
ANDconunnumerodiproposizioniarbitrarieconcatenandovarieANDadueingressi,peresempio:

Neicircuitidigitali,laportalogicaANDunmeccanismocomuneperavereunsegnalediveroseun
certonumerodialtrisegnalisonotuttiveri.
Nellateoriadegliinsiemicorrispondeall'intersezione.
IlsimbolodiunaportaAND:

OR
L'operazionelogicaORrestituisce1sealmenounodeglielementi1,mentrerestituisce0intuttiglialtri
casi.Taleoperazioneanchedettasommalogica.Diseguitolatabellarappresental'operatoreORnelcaso
didueentrate,maladefinizionedataorageneralizzataaningressi:
A B AORB
0 0

0 1

1 0

1 1

http://it.wikipedia.org/wiki/Algebra_di_Boole

11/18

14/3/2015

AlgebradiBooleWikipedia

Siccomequestaoperazionegodedellaproprietassociativa,possibilerealizzareun'operazionelogicaOR
conpiingressiconcatenandovarieORadueingressi,peresempio:

Neicircuitidigitali,laportalogicaORunmeccanismocomuneperavereunsegnalealtosealmenoun
segnalealtoeunsegnalebassoseesolosetuttiisegnalisonobassi.
Nellateoriadegliinsiemicorrispondeall'unione.
IlsimbolodiunaportaORadueingressi:

XOR
L'operatoreXOR,dettoancheEXOR,OResclusivoosommamodulo2,restituisce1seesoloseil
numerodeglioperandiugualia1dispari,mentrerestituisce0intuttiglialtricasi.Latabellarappresenta
ilcasoincuiglioperatorisiano2,poiingeneralecisiriferisceaquestooperatorecomeoperatoredi
disparit.
A B AXORB
0 0

0 1

1 0

1 1

Nellateoriadegliinsiemicorrispondealladifferenzasimmetrica.PerpassarenellaformacanonicaSP
(sommadiprodotti)bastaapplicarelaregola:
AB
doveilsimbolodiXOR.
IlsimbolodiunaportaXOR:

NAND
L'operatoreNAND,lanegazionedelrisultatodell'operazioneAND,restituisce0seesolosetuttigli
elementisono1,mentrerestituisce1intuttiglialtricasi.

http://it.wikipedia.org/wiki/Algebra_di_Boole

12/18

14/3/2015

AlgebradiBooleWikipedia

A B ANANDB
0 0

0 1

1 0

1 1

IlsimbolodiunaportaNAND:

compostadaunNOTinserieaunAND.
UtilizzandoleleggidiDeMorgan,possibileconvertireunaportaORinNAND.Vale,dunque,la
seguenterelazione:

NOR
L'operatoreNOR,lanegazionedelrisultatodell'operazioneOR,restituisce1seesolosetuttiglielementi
sono0,mentrerestituisce0intuttiglialtricasi.
A B ANORB
0 0

0 1

1 0

1 1

IlsimbolodiunaportaNOR:

compostadaunNOTinserieaunOR.
UtilizzandoleleggidiDeMorgan,possibileconvertireunaportaANDinNOR.Vale,dunque,la
seguenterelazione:

XNOR
L'operatoreXNOR,dettoancheEXNORoEQU,lanegazionedelrisultatodell'operazioneXORnella
suaversioneadueelementirestituisce1setuttiglielementisonougualia1oppuresetuttiglielementi
sonougualia0.Questooperatorevienegeneralizzatoaningressicomeoperatorediparit,cio
un'operazionecherestituisceilvalore1seilnumerodi1iningressopari.

http://it.wikipedia.org/wiki/Algebra_di_Boole

13/18

14/3/2015

AlgebradiBooleWikipedia

A B AXNORB
0 0

0 1

1 0

1 1

IlsimbolodiunaportaXNOR:

compostadaunNOTinserieaunXOR.

Algebradeicircuiti
L'AlgebradiBoolesiprestabeneallostudiodegliinsiemi,delleproposizioniedeicircuiti.Cisivuole
soffermaresucomequest'algebradiventaunostrumentoperl'analisielasintesidelleretidicommutazione
(inelettrotecnicailterminevieneusatoperindicareuncambiod'ordinedellachiusuradidueopicontatti
elettrici,intelecomunicazionihaun'accezionediversa).
L'algebrabooleanaconsentedidescrivereinformaalgebricalefunzionideicircuiticomponentiedelle
reti,fornendoaltresimetodiperlarealizzazionedelprogettologico:stabilitaquindiunacorrispondenza
biunivocafraespressionialgebricheeretidicommutazione.Lacorrispondenzafacilmenterealizzabile
avendogiparlatodi#Operatoribooleani:siparteadesempiodaun'espressionealgebricaperrealizzare
uncircuito,bastasostituireaognioperatorelogicolacorrispondenteportalogicaeapplicareagliingressi
diquesteopportunamentelevariabilibooleaneingiocoinoltre,avendovistol'esistenzadiportelogiche
comeadesempiolaXOR,chesonocombinazionideglioperatoribooleanielementatiAND,OReNOT,
possibilemanipolareopportunamenteun'espressionealgebricainmododautilizzareilminornumero
possibilediportenellarealizzazionedelcircuito.Viceversauncircuitopuessereespressodauna
funzioney=f(x1,x2,...xn)doveyl'uscita,lexsonoleentrateelafunzionefunacombinazionediporte
logiche.
Nell'algebradeicircuitisiassociailvalore0allivellologicobassoeilvalore1allivellologicoalto.In
unavisionesemplificatailvalore0corrispondenellapraticaaunatensionedi0Vmentreilvalore1
corrispondea5V,oppure3,5Voaddirittura1,5V:ilmotivopercuisipreferisceassociareilvalorealtoa
5Vpiuttostochea1,5Vchelatensionenellapraticanonstabileeperciilvalore0sipu
"confondere"conilvalore1causandounaperditadiinformazioned'altraparteper,unatensionedi1,5
Vperindicareilvalorealtosignificaminordispendiodienergiaedunvantaggiomoltosignificativo.
Volendoapprofondireildiscorsosuivalorilogicialtoebassoesullalororealizzazionepratica,sipudire
che,asecondadellatecnologiacisonodiversirangedivaloripossibili:peresempio,latecnologiaTTL
associailvalorelogico0aunatensionecompresatra0Ve0,8V,tra0e2Vc'unabandavietata,cio
uninsiemedivalorichenondevonoessereasunti,eilvalorelogico1associatoalrangedivalori1,5V
5V.Comesiaccennato,latecnologiaodiernaspingesull'abbassarelasogliadei5Vcercandodi
stabilizzaresempredipiilpotenziale.

Esempi

http://it.wikipedia.org/wiki/Algebra_di_Boole

14/18

14/3/2015

AlgebradiBooleWikipedia

Questaalgebrahaapplicazioninellalogica,dove0interpretatocome"falso",1comevero, OR,
ANDe "NOT".Leespressionichecoinvolgonolevariabilieleoperazionibooleanerappresentano
formedichiarativedueespressionipossonoessereequivalentiutilizzandoisuddettiassiomiseesoltanto
seleformedichiarativecorrispondentisonologicamenteequivalenti.L'algebrabooleanabinaria,inoltre,
usataperildisegnodicircuitinell'ingegneriaelettronicaqui0e1rappresentanoleduecondizioni
differentidiunbitinuncircuitodigitale,ingenerebassaealtatensione.Icircuitisonodescrittida
espressionichecontengonodellevariabiliedueespressionisonougualipertuttiivaloridellevariabilisee
soltantoseicircuiticorrispondentihannolastessafunzioneditrasferimento.Ognicombinazionedei
segnaliiningressoinuscitadalcomponentepuessererappresentatadaun'adeguataespressionebooleana
L'algebrabooleanaaduestatiinoltreimportantenellateoriageneraledellealgebrebooleane,perch
un'equazionechecoinvolgeparecchievariabiligeneralmenteverainognialgebrabooleanaseesoltanto
severanell'algebrabooleanaaduestati.Cipu,peresempio,essereusatoperindicarecheleseguenti
leggi(teoremadelconsenso)sonogeneralmentevalideinognialgebrabooleana:

IlraggruppamentodiungenericoinsiemeS,formaun'algebrabooleanaconledueoperazioni =
unionee =intersezione.Ilpipiccoloelemento0l'insiemevuotoeilpigrandeelemento1
l'insiemeSstesso.
L'insiemedituttiisottoinsiemidiuninsiemeSchesonolimitatiun'algebrabooleana.
Perogninumeronaturalen,l'insiemedituttiidivisoripositividinformaunreticolodistributivose
scrive
peradivideb.Questoreticoloun'algebrabooleanaseesoltantoseperogninnonvi
sonodivisoriquadrati.Ilpipiccoloelemento,cheingeneralesiindicaconlo0,inquestaalgebra
booleanailnumeronaturale1mentrel'elementocheusualmenteindicaconl'1inquestiinsiemi
l'elemento"n".
Altriesempidialgebrebooleanesonodatidaglispazitopologici:seXunospaziotopologico,
alloral'insiemedituttiisottoinsiemidiXchesianoapertiochiusiformanoun'algebrabooleanacon
leoperazioni =unionee =intersezione.
SeRunanelloarbitrariodovedefinitouninsiemeidempotentetipo:
A={ainR:a2=aea x=x aperognixinR}
L'insiemeAdiventaun'algebrabooleanaconleoperazionia b=a+ba bea b=a b.

Omomorfismieisomorfismi
UnomomorfismotraduealgebrebooleaneAeBunafunzionef:A

Btalecheperognia,binA:

1. f(a b)=f(a) f(b)


2. f(a b)=f(a) f(b)
3. f(0)=0
4. f(1)=1
Daquesteproprietsegueanchef( a)= f(a)perogniainA.Ognialgebrabooleana,conladefinizione
diomomorfismo,formaunacategoria.UnisomorfismodaAsuBunomomorfismodaAsuBche
biiettivo.L'inversodiunisomorfismoancoraunisomorfismo,eleduealgebrebooleaneAeBsidicono
http://it.wikipedia.org/wiki/Algebra_di_Boole

15/18

14/3/2015

AlgebradiBooleWikipedia

isomorfe.Dalpuntodivistadellateoriadell'algebrabooleana,duealgebrebooleaneisomorfenonsono
distinguibili,madifferisconosoltantonellanotazionedeiloroelementi.

Espressionibooleane
All'internodiciascunaalgebradiBoole,datouninsiemedivariabilieleoperazionicorrelate,possibile
definiredelleespressionichevengonoadassumereundeterminatovaloreottenibileanchesottoforme
diverse.Possonoesistereciodelleespressioniche,puressendodifferenti,sirivelinoequivalenti.Oltreal
fattocheleespressionibooleaneassumonounaparticolareimportanzaperquantoriguardailcalcolo
proposizionale,incuilevariabilisonoproposizionilegatetramitecongiunzioni,disgiunzioni,negazionie
altreoperazionipicomplesse,possonoesisteremoltissimealtreespressioni,accomunatesempredalle
proprietedagliassiomibooleani,nellequalisisostituiscespessol'operazione+(comunementedetta
somma)cone*(comunementedettaprodotto)coneincuilacomplementazioneindicatacol
simbolo'.
Perpoterpresentarenelmodopiefficienteunaespressionebooleana,lasiriduceinsommadiprodotti
fondamentalioformanormaledisgiuntiva.Unprodottofondamentaleunprodottoincuiciascuna
variabile,oilsuocomplemento,appaiaunasolavoltaerigorosamentefuoridaparentesio
complementazionicomplesse.
Adesempio,datelevariabilix,y,zall'internodiun'algebradiBoole,sonoprodottifondamentali
P(x,y,z)=xy
P(x,y,z)=x'yz'
Mentrenonsonoprodottifondamentali
yyz
yy'z
(xy)'
cospossibileavereunasommadiprodottifondamentali,formaincuiogniespressionepuessere
ridotta,machenonunica.Unesempio:xy+xz+z'.Nelmomentoincuiognisingolavariabile,oil
suocomplemento,sianocontenutiintuttiiprodottifondamentalidellaformanormaledisgiuntiva,siha
alloraunasommadiprodottifondamentalicompletaoformanormaledisgiuntivacompleta.Talescrittura
unica,pertantosedueespressionisonoequivalentiavrannolastessaformanormaledisgiuntiva
completa.
Sesidesiderainvececheun'espressionesiascrittanelmodopicortopossibile,alloralasiesprimein
sommadiimplicantiprimeominimali(MinimizzazionediQuineMcQluskey).Un'implicanteprima(o
minimale)rispettoaun'espressioneunprodottofondamentalechenonalteral'espressionesesommato
perinteroaessa,ciorestituisceunrisultatoequivalenteaquellainizialesommandounprodotto
strettamentecontenutonell'implicante,tuttavia,nonsiottieneun'equivalenza.
Perindividuaretutteleimplicantiprime,esistonovarietecniche,tracuiilmetododelconsenso,chesibasa
sull'applicazioneciclicadelleproprietdiassorbimento,idempotenza,involuttivitediDeMorgan
accompagnateaognipassodall'opportunaaddizionediunconsenso.Datidueprodottifondamentali,se
soloesoloseunavariabileappareinunodiessinonnegataenell'altronegatasichiamaconsensoil
risultatodellamoltiplicazionedellerestantivariabili.Adesempio:
datiP=xyz,Q=x'zilconsensosarC=yzz=yz
datiP=xy'Q=xyilconsensosarC=xx=x
datiP=xyzeQ=x'yz'nonesisteconsenso,inquantoduediversevariabiliappaionounavolta
negateeunavoltano.
http://it.wikipedia.org/wiki/Algebra_di_Boole

16/18

14/3/2015

AlgebradiBooleWikipedia

Lasommadiimplicantiprimeunica,pertantodueespressioniequivalentiavrannolastessa.Nel
momentoincui,completandoognisingolaimplicanteprima,l'apportoall'espressionediunaopidiesse
inutileinquantocontenutanellealtre,lasipueliminareottenendolapiessenzialedellescritture,la
formaminimale.Essa,puressendocomoda,hal'inconvenientedinonessereunica,edunquedinon
consentirel'individuazionediequivalenzetrapiespressioni.

Rappresentazionedellealgebrebooleane
Sipudimostrarecheognireticolobooleanofinitoisomorfoalreticolobooleanodituttiisottoinsiemidi
uninsiemefinito.Diconseguenza,ilnumerodielementidiognireticolobooleanofinitohaunsostegno
checontieneunnumerodielementiugualeaunapotenzadi2.
MarshallStonehaenunciatoilcelebreteoremadirappresentazioneperlealgebrebooleanedimostrando
cheognialgebrabooleana"A"isomorfaatuttelealgebrebooleaneapertechiuseinuncertospazio
topologicocompattononconnessodiHausdorff

Bibliografia
(EN)StevenGivantePaulHalmos,IntroductiontoBooleanAlgebras,UndergraduateTextsin
Mathematics,Springer,2009,ISBN9780387402932.
(EN)GeorgeBoole,AnInvestigationoftheLawsofThought,PrometheusBooks[1854],2003,
ISBN9781591020899.
(EN)StevenGivantePaulHalmos,IntroductiontoBooleanAlgebras,UndergraduateTextsin
Mathematics,Springer,2009,ISBN9780387402932.
(EN)JohnA.Camara,ElectricalandElectronicsReferenceManualfortheElectricalandComputer
PEExam,www.ppi2pass.com,2010,p.41,ISBN9781591261667.

Vocicorrelate
06XX,sezioneprimariadelloschemadiclassificazioneMSC2000
Algebradiinsiemi
DiagrammadiVenn
Formacanonica
Funzionebooleana
MappadiKarnaugh
Operazionebitabit
Portalogica
Sistemaformale
Sistemanumericobinario
Tabelladellaverit
Teoremadell'assorbimento
TeoremadiShannon(elettronica)
TeoremidiDeMorgan
Teoriadegliinsiemi

Altriprogetti
Commons(https://commons.wikimedia.org/wiki/?uselang=it)contieneimmaginioaltrifile
suAlgebradiBoole(https://commons.wikimedia.org/wiki/Category:XNOR_gates?uselang=it)
QuestavoceinclusanellibrodiWikipediaParadossi.
http://it.wikipedia.org/wiki/Algebra_di_Boole

17/18

14/3/2015

AlgebradiBooleWikipedia

Collegamentiesterni
Panoramicasull'AlgebraBooleana(http://wwwusers.di.uniroma1.it/~arc1/boole.pdf)
FacoltdiIngegneriaEnergeticaUniv.delSannioElementidiInformatica:AlgebradiBoole
2008/2009(http://www.ing.unisannio.it/dilucca/materiale/aa0809/Alg_boole.pdf)
CorsodiLaureaadistanzaFondamentidiInformatica:AlgebradiBoole,OperatoriLogici,
TeoremiFondamentali(http://corsiadistanza.polito.it/corsi/pdf/09ASODN/4_algebra_di_boole.pdf)
Descrizionedell'algebrabooleanasuOkpedia(http://www.okpedia.it/algebra_booleana)
AlgebradiBooleinTesaurodelNuovosoggettario,BNCF,marzo2013.
Estrattoda"http://it.wikipedia.org/w/index.php?title=Algebra_di_Boole&oldid=71305765"
Categoria: AlgebradiBoole |[altre]
Questapaginastatamodificataperl'ultimavoltail13mar2015alle08:52.
IltestodisponibilesecondolalicenzaCreativeCommonsAttribuzioneCondividiallostesso
modopossonoapplicarsicondizioniulteriori.VedileCondizionid'usoperidettagli.Wikipedia
unmarchioregistratodellaWikimediaFoundation,Inc.

http://it.wikipedia.org/wiki/Algebra_di_Boole

18/18