Observaie:

LaacestexamennuaveivoiesluailocnbancavndasupraDv.untelefonmobilsauunaltdispozitiv
asemntor.Totodat,nuaveinevoiedecolidehrtie,devremeceelevorfifurnizatelacerere.nbanc
veiputeapstradoarinstrumenteledescrisialimentedacconsiderainecesar.Hainelegroasecarev
vor putea incomoda n timpul examenului, geni, telefoane, orice foie de hrtie (mai ales fiuici) trebuie
lsateoriundealtundeva,nsaladeexamenavndlocdoarlacuier.Voifolosiproiectorulivoiproiectaun
ceasastfelnctsputeigestionacorecttimpul(ncazulncareobinuiisfolosiitelefonulpentruacest
lucru).
Dacveifidepistaicai nclcataceastregul,saucdiscutaipeoricetemcucolegiiDv.ntimpul
examenului,veifiscoiautomatafardinsaladeexameniveipriminota1pelucrareascris,carenuva
mai fi corectat. Dac la o reexaminare vei nclca din nou regula, voi comunica situaia Dv. forurilor
superioare cu indicaia respectrii regulamentului i demararea procedurii de exmatriculare. Dac nu v
recunosc,aputeasolicitalegitimarea,astfelcvrogsaveiasupraDv.carnetuldestudent.
Vor fi 3 subiecte, cte unul pentru fiecare treime de materie. Fiecare se va nota de la 110. Dac nu v
reamintii metoda indicat, putei obine jumtate din punctajul aferent metodei aplicnd o metod
cunoscut.Parteateoreticafiecruisubiect(incluznddescriereametodeicareseaplic)vafievaluatcu
maxim 3p, 1p se va primi din oficiu, iar restul de 6p vor fi obinute ca urmare a rezolvrii corecte i
complete a exerciiului. Astfel c nu avei cum obine suficiente puncte doar cunoscnd teoria, dar avei
anse s obinei o not mare dac tii aplica metoda specificat. V recomand s studiai n sesiune
(presupunnd c ai participat activ la seminarii i ai ncercat s rezolvai testele online n timpul
semestrului) mcar 3 zile cte 8h, timp n care s rezolvai exerciii sau s ncercai s rezolvai singuri
exerciiilediscutatelaseminar...

ListsubiecteteoreticecarevorfiverificatelaLogiccomputaionaldoar3p
dinexamenulscris
Logicapropoziiilor
Semanticadomeniulsemantic,semanticaconectivelor,definiiainterpretrii,definiiipentru:model,anti
model, tautologie, formul consistent, contingent, nerealizabil, definiia consecinei logice, a
echivaleneilogice;conceptesemanticepentrumulimideformule.
Echivalene logice n logica propoziional mai ales legile lui De Morgan i de distributivitate, definirea
conectivelorderivate,maialesaimplicaiei.
Principiuldualitii.
Formenormaledefinireanoiunilordeliteral,clauz,cub,FND,FNC;algoritmuldenormalizare;utilizarea
celordouformenormalepentruaverificadacoformulesteinconsistent/tautlogie.
Sintaxa Sistemul axiomatic propoziional (alfabetul, formule corect construite, axiomele, regulile de
inferen).Definiiadeduciei,definiianoiuniideteorem,teoremadededucieiinversasa,consecinele
teoremeidededucie.
Proprietile logicii propoziiilor: Teorema de corectitudine i completitudine a logicii propoziiilor,
necontradicia,coerena,decidabilitatea.
Metoda tabelelor semantice: clase de formule, reguli de descompunere a formulelor, arborele binar de
descompunereauneiformule,tipurideramuriidetabelesemantice(definiie),Teoremadecorectitudine
icompletitudineametodei.
Metoda rezoluiei: definirea sistemului formal asociat (alfabetul, formule corect construite, axiomele,
regulile de inferen), algoritmul rezoluiei propoziionale, Teorema de corectitudine i completitudine a
metodei. Strategii de aplicare a rezoluiei (trebuie s poat fi descrise i aplicate n rezolvarea unor
probleme):eliminrii,saturriipenivele(sepoatereinealgoritmul),mulimiisuport.Rafinrialerezoluiei:
blocrii (i TCCul specific), rezoluia liniar (i TCCul specific) unitar i de intrare (i Teorema de
echivalen).Ssecunoasmcar3exempledestrategii/rafinrisaucombinrialelorcaresuntcomplete.

Logicapredicatelor
Sistemulaxiomaticpredicativ(alfabetul,formulecorectconstruite,axiomele,reguliledeinferen).Inclusiv
definiia unui Termen, atom, literal. Definiia noiunii de variabil legat/liber, Formul predicativ
deschis/nchis.Definiiadeduciei.
Semanticadefiniiainterpretrii.
EchivalenelogicenlogicapropoziionalmaialeslegileluiDeMorganidedistributivitate,cunoaterea
imaialesaplicarealegilordeextragere.Legilesemidistributivitii.
Formelenormale aleformulelor predicative: forma normalprenexdefiniie,algoritmul de aducere la
FNP,FormanormalSkolemdescriereamoduluideobinereasa,lafelipentruformanormalSkolem
frcuantificatoriiformaclauzal.
Proprietile logicii propoziiilor: Teorema de corectitudine i de completitudine a logicii propoziiilor,
TeoremaluiChurch.
Metoda tabelelor semantice: clase de formule, reguli de descompunere a formulelor, arborele binar de
descompunereauneiformule,tipurideramuriidetabelesemantice(definiie),Teoremadecorectitudine
icompletitudineametodei,semidecidabilitatea.
Substituiiiunificatori:definiiauneisubstituii,ssetieaplicacompunereasubstituiilor,definiiaunui
unificatoriaceluimaigeneralunificator,algoritmuldedeterminareamgu.
Metoda rezoluiei: definirea sistemului formal asociat (alfabetul, formule corect construite, axiomele,
regulile de inferen), algoritmul rezoluiei predicative, Teorema de corectitudine i completitudine a
metodei. Strategii de aplicare a rezoluiei (trebuie s poat fi descrise i aplicate n rezolvarea unor
probleme):saturriipenivele(sepoatereinealgoritmul),mulimiisuport.Rafinrialerezoluiei:blocrii
(iTCCulspecific),rezoluialiniar(iTCCulspecific)unitarideintrare(iTeoremadeechivalen)
condiiile n care este complet (+definiia unei clauze Horn). S se cunoas mcar 3 exemple de
strategii/rafinrisaucombinrialelorcaresuntcomplete.

Algebreboolee,funciibooleene,circuitelogice
DefinireaaxiomaticaalgebreibooleeneB=(B2={0,1},,,,0,1)(toatecele13proprieti)
Definiia noiunii de funcie boolean, definiia formei canonice disjunctive i conjunctive (o definiie),
definiia noiunii de monom, minterm, maxterm, proprietile mintermilor respectiv a maxtermilor,
dualitatea minterm maxterm, definiia suportului funciei, definiia relaiei mai mic sau egal, definiia
monoameloradiacente,afactorizriiiasimplificriiuneifunciibooleene,definiiamulimiimonoamelor
maximaleiamulimiimonoamelorcentrale(sepotiescriencuvinteproprii),algoritmuldesimplificarea
funciilorbooleene.
MetodadiagramelorVeitchdescriereamoduluideconstuireadiagramei,cumseidentificmonoamele
mazimaleicelecentrale,metodadiagramelorKarnaughdescriereamoduluideconstuireadiagramei,i
cum se identific monoamele mazimale i cele centrale, Metoda analitic a lui Quine McClusky
descriereamoduluideconstuireatabelelor,icumseidentificmonoamelemazimaleicelecentrale.
Circuite logice desenarea porilor de baz i a celor derivate, constuirea circuitelor combinaionale
discutate:codorul,decodorul,circuitulcomparator,sumatoruladoucifrebinare,sumatorulpenbii.

Observaie
Algoritmiinutrebuiememorainformaprezentatlacurs,eipotfidescriisaurescriinpseudocodivor
primintregulpunctajdacnuseomitpai.Acelailucruestevalabilipentrudefinireanoiunilor(cttimp
sensulsepstreaz).
Problemele(6p)caresevorcereafirezolvatelaexamensuntdegenulcelordiscutatelaseminar.Iato
scurtsintez:

Logicapropoziiilor
1. Utilizndometod
a) semantic(tabeldeadevr,formanormalconjunctiv,tabelasemantic)
b) sintactic(rezoluie(dacpreferaiputeiutilizaiconstruireadeduciei,teoremadededuciesi
inversasa))
c) direct (tabela de adevr, forma normal conjunctiv (dac preferai putei utiliza i construirea
deduciei,teoremadededucieiinversasa))

d) prinrespingere(rezoluie,tabelasemantic)
demonstraicsunttautologii/teoreme,formulepropoziionale,printrecare:
A2ceadeadouaaxiomacalcululuipropoziional.
A3axioma3,modultollens
legeasilogismului
legeapermutrii/reunirii/separriipremiselor

2. Verificaidacarelocorelaiedeconsecinlogic/derivabilitatededucie:
U1,...,Un|=V(|)
Sepotutiliza:
tabelasemanticpentru:U1 ... Un V;
rezolutiapentru:FNC(U1) ... FNC(Un) FNC( V).
construireadeducieiluiVdinipotezeleU1,...,Unfolosindsistemulaxiomatic;

3. Decidei tipul (consistent, contingent, inconsistent, tautologie) unei formule propoziionale U i

construiimodeleleiantimodelelesale.
dintabeladeadevraluiU
dintabelasemanticaluiU=>modeleleluiUfurnizatederamuriledeschise
dintabelasemanticalui U=>antimodeleleluiUfurnizatederamuriledeschise
din forma normal conjunctiv a lui U => antimodelele lui U furnizate de clauzele care nu sunt
tautologii
din forma normal disjunctiva a lui U => modelele lui U furnizate de cuburile care nu sunt
inconsistente

4. Demonstrareainconsisteneiuneimultimideclauzefolosind:
rezoluiageneral+transformri
strategiasaturriipenivele
rezoluiablocrii
rezoluialiniar(unitsauinput)

5. Verificareaconsistenei/inconsisteneiuneimulimideclauzefolosind:
strategiasaturriipenivele
rezoluiablocrii+strategiasaturriipenivele
rezoluialiniarcuocutarecompletafolosindbacktracking.

6. Modelareraionamentpropoziional

Logicapredicatelor
1. Evaluarea unei formule predicative nchise n interpretri date (sau propuse de student) cu domeniu
finit/infinit.

2. Construiremodel/antimodelpentruoformulpredicativnchisU:
dintabelasemanticaluiU=>modeleleluiUfurnizatederamuriledeschise
dintabelasemanticalui U=>antimodeleleluiUfurnizatederamuriledeschise
sepropuneointerpretarecareevalueazformulaUcaadevrat/falsdeciestemodel/antimodel.

3. Utilizndometod
a) semantic(tabelasemantic)
b) sintactic(rezoluie,(dacpreferaiputeiutilizaiconstruireadeduciei,teoremadededuciesi
inversasa))

c) prin respingere (rezoluie, tabela semantica) (nu se va cere o metod direct, ntruct nu am
discutatsuficientdemultoastfeldemetod)
demonstraicsunttautologii/teoreme,formulepredicative.

4. Verificareaproprietiidedistributivitateaunuicuantificator( , )fadeoconectiv( , , , )cu

ometodimpus(tabelesemantice/rezoluie).
Ex:distributivitate fade ":
(x)( A( x) B( x)) (x) A( x) (x) B( x) dacinumaidac
| (x )( A( x ) B ( x )) (( x ) A( x ) (x ) B ( x )) dacinumaidac
| (x )( A( x ) B ( x )) ((x ) A( x ) (x ) B ( x )) i | ((x) A( x) (x) B ( x)) (x)( A( x) B ( x))

5. Construireaformelornormaleprenexe,Skolemiclauzalealeuneiformulepredicative.
6. Verificaidacarelocorelaiedeconsecinlogic/derivabilitatededucie:
U1,...,Un|=V(|)
Sepotutiliza:
construireadeductieiluiVdinipotezeleU1,...,Unfolosindsistemulaxiomatic
tabelasemanticpentru:U1 ... Un V;
rezoluiapentru:U1C ... UnC ( V)C.
7. Unificai,dacesteposibiloperechedeatomiideterminaicelmaigeneralunificator.
8. Demonstrareainconsisteneiuneimulimideclauzepredicativefolosind:
rezoluiageneral
strategiasaturariipenivele
rezoluiablocrii
rezoluialiniar(unitsauinput)
9. Modelareraionamentpredicativ.

Algebrebooleene,funciibooleene,circuitelogice
1. Algebrebooleene:definiie+exemple.
nfunciedeoperaianand/norsseexprimeoperaiilelogicei,not,sauissedeseneze
circuitelelogiceasociate.

2. Construireaformelorcanoniceconjunctividisjunctivdintabelavalorilorfuncieibooleene.Exemple
demintermiimaxtermi(de2,3,4variabile):notaii,expresii,tabeledevalori.

3. Simplificarea funciilor booleene de 2/3/4 variabile utiliznd metoda lui Quine/ diagrame Veitch/
diagrameKarnaugh.
Funciilebooleenesepotfurnizaastfel:
nformacanonicadisjunctivcaodisjunciedemintermi(daiprinnotaiestandard):

f (x1,x2,x3)= m0 m3 m4 m5 m6 m7;

nformacanonicdisjunctivprinexpresiilemintermilor:

f (x1,x2,x3,x4)= x1x2x3x4 x1x2x3x4 x1x2x3x4 x1x2x3x4 x1x2x3x4

x1x2x3x4 x1x2x3x4 x1x2x3x4 x1x2x3x4;
printroexpresiecaretrebuieaduslaformacanonicdisjunctiv.

f (x1, x2, x3) = x3(x1 x2) x1(x2 x2x3) x1x2x3, aplicaredistributivitate

iaducerelaformacanonic
sau

f (x, y, z) = x (y z) y (x z) x ( y z) (x y) z ; nlocuire ,

prinintermediultabeleisaledevaloridincareseconstruieteformacanonicdisjunctiv:
x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

f
0
1
0
1
1
0
0
1

prinintermediulvalorilorsalede1:

f1(1,1,1,1) = f1(1,1,0,1) = f1(0,1,1,1) = f1(1,1,0,0) = f1(0,1,0,0) = f1(0,0,0,0)=

=f1(0,0,0,1) = f1(0,0,1,1) =1;
construinduseformasacanonicdisjunctiv
prinintermediulzerourilorsale:

f1(0,1,0) = f1(0,1,1) = f1(1,0,1) = 0,

seobinvalorilede1alefuncieiiapoiformasacanonicdisjunctiv

4. Desenarecircuitlogicdinexpresiafuncieibooleene,attcuporidebaz,cticuporiderivate.
Construire expresie funcie boolean care modeleaz funcionarea unui circuit logic dat, att cu pori
simple,cticuporiderivate.

5. Exempledecircuitecombinaionale:circuituldecompararea2cifrebinare,circuituldeadunarea2
cifrebinare,circuituldeadunarebinarpenbii,circuituldecodificare/decodificarenbinar.

BILET
1. Semantica logicii propoziiilor. Utiliznd o metod semantic de demonstrare, demonstrai c
legea permutrii premiselor este o tautologie.
2. Verificai proprietatea de distributivitate a cuantificatorului existenial fa de implicaie
folosind o metod sintactic. Teorema de corectitudine i completitudine a acestei metode.
3. Desenai un circuit logic avnd 3 variabile de intrare i coninnd toate porile de baz i
derivate. Scriei funcia boolean corespunztoare acestui circuit i simplificai-o. Implementai
circuitul logic simplificat.

BILET
1. Folosind rezoluia blocrii verificai dac are loc: p q, (q r ) p | p r . Rezoluia ca
sistem formal.
2. Folosind o metod semantic de demonstrare, verificai dac formula: (x) A( x) (x) B( x) este
consecin logic a formulei: (x)( A( x) B( x)) . Teoria aferent.
3. Simplificai

urmtoarea

funcie

boolean,

folosind

metoda

diagramelor

Veitch:

f ( x1 , x2 , x3 ) x1 x3 x1 x2 x3 x1 x3 x1 x2 x3 . Implementai circuitul logic asociat formei iniiale a lui f

i tuturor formelor sale simplificate.

BILET
1. Sistemul axiomatic (formal) al calculului propoziiilor. Ce este o teorem?
Folosind o metod sintactic demonstrai c cea de-a doua axiom a calculului propoziional este

o teorem.
2. Folosind rezoluia liniar, verificai dac urmtoarea mulime de formule este inconsistent.
S { p( x) q ( x) r ( x), q( y ) r ( y ), r (a) p (a)} . Teoria aferent.
3. Folosind metoda lui Quine, simplificai funcia boolean:
f ( x1, x2 , x3 , x4 ) x1x2 x3 x1 x 2 x3 x4 x1x2 x 3 x4 x1x2 x3 x4 x1x2 x3 x4 .

Implementai circuitul logic asociat unei forme simplificate a funciei f.

BILET

1. Scrieti toate modelele si anti-modelele formulei V= (( p r ) q) p q r .

Teoria aferent metodei alese.
2. Evaluai formula predicativa U= ((x) p( x) (x)q( x)) (x)( p( x) q( x)) n dou interpretri
diferite alese astfel nct o interpretare sa aib domeniul finit, iar ce-a de-a doua domeniul infinit.
Cte interpretri posibile are U?
Este logica predicatelor decidabil? Argumentai rspunsul.
3. Definiii pentru noiunile: minterm, maxterm, monom central, monom maximal, factorizare.
Exemple de 4 mintermi si 4 maxtermi de 3 variabile: expresii, notaii i tabele de valori.
Construii circuitul logic asociat funciei booleene:
f ( x1 , x2 , x3 , x4 ) m1 m13 m8 m5 .