Formas normais
Disjuntiva
Conjuntiva
Conjunto de conectivos: (, , , , )
Equivalncia entre e {, }
(P Q) (P Q) uma tautologia
Equivalncia entre e {, }
Equivalncia entre e {, }?
(P Q) ((P Q) (Q P))
O conjunto {,}
O conjunto {,} completo?
Redefinio
Alfabeto
Smbolos de pontuao: ( , )
Smbolos de verdade: false.
Smbolos proposicionais: P,Q,R,S,P1,Q1,R1,S1,Q2...
Conectivos proposicionais: ,
Formas normais
Uma frmula H est na forma normal disjuntiva (fnd) se uma
disjuno de conjunes de literais
Ex: H=(P Q) (R Q P) (P S)
Ex: G=(P Q) (R Q P) (P S)
Algoritmo
L1 = P Q R
L5 = P Q R
L7 = P Q R
H = L1 L5 L7, FND
H = (P Q R) (P Q R) (P Q R)
PQR
TTT
TTF
TFT
TFF
FTT
FTF
FFT
FFF
H
T
F
F
F
T
F
T
F
L1
L2
L3
L4
L5
L6
L7
L8
Exemplo - fnc
PQR H
H=(PQ) R
T T T T L1
Linhas em que H=F
T T F F L2
PQR H
T F T F L3
T T F F L2
T F F F L4
T F T F L3
F T T T L5
T F F F L4
F T F F L6
F T F F L6
F F T T L7
F F F F L8
L2= P Q R
F F F F L8
L3=P Q R
...
H=L2 L3 L4 L6 L8, FNC
H=(P Q R) (P Q R) (P Q R) (P Q R) (P
Q R)
Exerccios
Obter FND e FNC de (P Q) R
As frmulas H e G so equivalentes?
H = (PQ)(R S)
G = ((PQ) (Q P)) ( RS)