Documente Academic
Documente Profesional
Documente Cultură
Disjuncia exclusiv
p
q
pvq
1
1
0
1
0
1
0
1
1
0
0
0
Disjuncia
q
pvq
1
1
0
1
1
1
0
0
p
1
1
0
0
Echivalena
q
pq
1
1
0
0
1
0
0
1
~, ^, v, \/ , ->, <->
Calcul propoziional:
atom = propoziie cu valoare de adevr
formul = propoziie compus
Formul bine format (sau bine formulat - wff): se construiete dup urmtoarele reguli:
R1. Un atom este o formul.
R2. Dac F este o formul, atunci ~F este formul bine format.
R3. Dac F i G sunt formule, atunci : FvG, F^G, F->G, F<->G sunt bine formate.
R4. Orice f.b.f. se obine prin aplicarea regulilor R1,R2,R3.
INVALID
Totdeauna adevrat.
Nu totdeauna adevrat.
Nu totdeauna fals.
CONSISTENT
Totdeauna fals.
INCONSISTENT
FORME NORMALE
Definiie: Echivalena (se noteaz F=G): F i G sunt echivalente atunci cnd F i G au aceeai valoare
pentru orice interpretare I.
Reguli de echivalen n utilizarea lui .T. i .F.:
P v .F. = P
P v .T. = .T.
P ^ .T. = P
P ^ .F. = .F.
Definiie: Forma normal conjunctiv (FNC): Dac F1,F2,..,Fn sunt formule bine formate care conin
doar literale (atomi sau negaie de atomi) i sunt de forma L1vL2v...vLm (disjuncie de literale), atunci
F1^F2^...^Fn este o fnc.
Definiie: Forma normal disjunctiv (FND): Dac F1,..,Fn sunt formule bine formate care conin
doar literale (atomi sau negaii de atomi) i sunt de forma L1^L2^..^Lm (conjuncie de literale) atunci
F1vF2v...vFn este o fnd.
Exemple: - fnc: (PvQv~R) ^ (Pv~QvR) ^ (~PvQvR)
- fnd: (P ^ ~Q) v (~P ^ ~Q) v (P ^ Q).
Algoritm de transformare a unei formule bine formate ntr-o form normal:
Pas 1: Se elimin echivalena i implicaia:
F<->G = (F->G) ^ (G->F)
F ->G = ~F v G
Pas 2: Se elimin dubla negaie i se distribuie negaia (Legile lui de Morgan):
~(~F)=F
~(FvG)=~F ^ ~G
~(F^G)=~F v ~G
Pas 3: Se aplic distributivitatea pentru separarea operaiilor ^,v:
Fv(G^H)=(FvG)^(FvH)
F^(GvH)=(F^G)v(F^H)
Exemple:
a) fnd: ((P->Q)->(R->S))^(Q->~(P^R))... ...
(P^~Q)v(P^~Q^~R)v(Q^~P)v(Q^~P^~R)v(~R^~P)v(~R^~P)v~Rv(S^~Q)v
v(S^~P)v(S^~R)
b) fnc: P^(Q->R)->S ... (Sv~PvQ)^(Sv~Pv~R)
F1
F3
NT
NTL
TA
TA
M
LT