Você está na página 1de 20

Introduo a

Computao

FORMAS NORMAIS CONJUNTIVA


FORMAS NORMAIS DISJUNTIVA
Ednaldo Gana Junior
Leonardo Santana Veruez
Luiz Alexandre Conceio dos Santos
Suellen Cabanhas do Nascimento
lgebra Proposicional

A normalizao de formulas
importante para padronizar a notao,
j que possvel escrever formulas
logicamente equivalentes de muitas
maneiras diferentes.
lgebra Proposicional
Com o intuito de tornar as propriedades da lgebra
proposicional de fcil entendimento e prximas da
aritmtica usual, no decorrer desta apresentao
utilizaremos a notao da lgebra de Boole, em que
os valores lgicos F
e V so representados por 0 e 1, respectivamente.
Dessa forma, e valida a seguinte equivalncia entre
operadores lgicos:
Conjuno: p ^ q p * q

Disjuno: p V q p + q
_
Negao : p p
lgebra Proposicional

Trata-se de um dos tpicos da


logica mais relevantes para a
computao Base para o projeto
de circuitos digitais
Portas logicas
Algebra de Boole
lgebra Proposicional

lgebra dos binrios (variveis


assumem apenas valores 0 e 1).
Duas operaes: soma (disjuno,
+) e produto (conjuno, )
Subconjunto da lgebra
proposicional (devido ao menor
numero de operadores).
lgebra Proposicional

Apesar de operadores como ,<-->, V,


dentre outros, qualquer expresso da
logica proposicional pode ser escrita
utilizando apenas os operadores bsicos
conjuno e disjuno (atravs de
equivalncias logicas).
Formas Normais

Formas Normais Conjuntiva e


Disjuntiva (e essencialmente a
representao de qualquer
proposio na forma de circuito)
Alexandre Fundamentos de Logica
Matematica
Formas normais

H vrias maneiras de escrever uma


mesma
frmula
Ex: (p q) r = (p q) r
A Forma Normal usada para
uniformizar a
notao
Formas Normais

Operador conjuno (*)representa


interseco
Operador disjuno (+) representa
unio
Valor logico verdadeiro (1) representa
o todo (universo)
Valor logico falso (0) representa o vazio
Formas Normais

Notao padro para expresses da


logica proposicional.
Representao de uma expresso como
circuito (pois usa apenas conjuno e
disjuno, ou seja, serie ou paralelo).
Qualquer expresso da logica
proposicional pode ser
representada em duas formas normais.
Forma Normal Conjuntiva

Dizemos que uma formula proposicional P


esta na Forma Normal Conjuntiva (FNC)
quando P for uma conjuno p1 p2 p3 ...
pn, em que cada pi (1 i n) e uma
clausula, ou seja, e uma disjuno de
tomos ou um tomo. Podemos dizer,
ento, que uma formula P esta na
FNC se e somente se:
Forma Normal Conjuntiva

a. contem como conectivos lgicos apenas


conjunes, disjunes e negaes
b. negaes operam apenas sobre tomos,
isto e, no tem alcance sobre e +
c. no apresenta operadores de negao
sucessivos (dupla negao)
d. + no tem alcance sobre , ou seja, no ha
expresses como p +(q r )
Forma Normal Conjuntiva

Se Q e uma formula proposicional na


forma normal conjuntiva equivalente a
P, ento Q e referenciada como FNC(P).
Forma Normal Conjuntiva
Tabela: Procedimento para obteno da FNC via tabela-
verdade.
1. Construir a tabela-verdade da proposio P
2. Procurar na tabela-verdade as linhas que avaliam P como F
3. Para cada uma dessas linhas, constri-se a disjuno como
segue:
a) Para cada tomo presente na formula proposicional, se o
valor logico do tomo e V, toma-se p, e se for F, toma-se p
4. Determinar a conjuno das disjunes obtidas para cada
linha F
da tabela-verdade de P
5. Se a proposio P e uma tautologia (no ha linha F na
tabela-verdade), determina-se que FNC(P) = p + p, na
qual p e uma formula atmica
Forma Normal Conjuntiva
Exemplo: Obtenha a FNC de P = (p + q) ! r
.
Construindo a tabela-verdade de P, temos:
Forma Normal Conjuntiva
Equivalncias
Obter a FNC da expresso P = (:p _ q) ! r
utilizando tanto a regra da tabela-verdade
quanto a sequncia de regras da lgebra
proposicional. Mostre equivalncia entre P e
FNC(P), bem como entre os resultados
obtidos por ambos os mtodos.
Soluo: De exemplos anteriores, sabemos
que FNC(P) = Q * R * S, com
Q = (p V q V r ), R = (p V q V r ) e S =
(p V q V r )
Equivalncias
Equivalncias
A determinao da FNC de P atravs das regras da
lgebra proposicional pode ser realizada de acordo
com a seguinte sequencia de passos:
Equivalncias