Introdução a

Computação

• FORMAS NORMAIS CONJUNTIVA
• FORMAS NORMAIS DISJUNTIVA
• Ednaldo Gaúna Junior
• Leonardo Santana Veruez
• Luiz Alexandre Conceição dos Santos
• Suellen Cabanhas do Nascimento

Álgebra Proposicional

A normalização de formulas é
importante para padronizar a notação,
já que é possível escrever formulas
logicamente equivalentes de muitas
maneiras diferentes.

e valida a seguinte equivalência entre operadores lógicos: Conjunção: p ^ q p * q Disjunção: p V q p + q _ Negação : ¬p p . respectivamente. Álgebra Proposicional Com o intuito de tornar as propriedades da álgebra proposicional de fácil entendimento e próximas da aritmética usual. Dessa forma. em que os valores lógicos F e V são representados por 0 e 1. no decorrer desta apresentação utilizaremos a notação da álgebra de Boole.

Álgebra Proposicional Trata-se de um dos tópicos da logica mais relevantes para a computação Base para o projeto de circuitos digitais • Portas logicas • Algebra de Boole .

) Subconjunto da álgebra proposicional (devido ao menor numero de operadores). Duas operações: soma (disjunção.Álgebra Proposicional Álgebra dos binários (variáveis assumem apenas valores 0 e 1). +) e produto (conjunção. .

<-->. . Álgebra Proposicional Apesar de operadores como . dentre outros. qualquer expressão da logica proposicional pode ser escrita utilizando apenas os operadores básicos conjunção e disjunção (através de equivalências logicas). V.

Formas Normais Formas Normais Conjuntiva e Disjuntiva (e essencialmente a representação de qualquer proposição na forma de circuito) Alexandre Fundamentos de Logica Matematica .

Formas normais Há várias maneiras de escrever uma mesma fórmula Ex: (p → q) ∧ r = (¬p ∨ q) ∧ r A Forma Normal é usada para uniformizar a notação .

Formas Normais  Operador conjunção (*)representa intersecção  Operador disjunção (+) representa união  Valor logico verdadeiro (1) representa o todo (universo)  Valor logico falso (0) representa o vazio .

ou seja. serie ou paralelo). Representação de uma expressão como circuito (pois usa apenas conjunção e disjunção. Qualquer expressão da logica proposicional pode ser representada em duas formas normais. Formas Normais Notação padrão para expressões da logica proposicional. .

e uma disjunção de átomos ou um átomo. em que cada pi (1 i n) e uma clausula.. que uma formula P esta na FNC se e somente se: .Forma Normal Conjuntiva Dizemos que uma formula proposicional P esta na Forma Normal Conjuntiva (FNC) quando P for uma conjunção p1 p2 p3 . então. pn.. Podemos dizer. ou seja.

não apresenta operadores de negação sucessivos (dupla negação) d. disjunções e negações b.Forma Normal Conjuntiva a. negações operam apenas sobre átomos. + não tem alcance sobre . contem como conectivos lógicos apenas conjunções. não ha expressões como p +(q r ) . isto e. não tem alcance sobre e + c. ou seja.

Forma Normal Conjuntiva Se Q e uma formula proposicional na forma normal conjuntiva equivalente a P. . então Q e referenciada como FNC(P).

constrói-se a disjunção como segue: a) Para cada átomo presente na formula proposicional. se o valor logico do átomo e V. Forma Normal Conjuntiva Tabela: Procedimento para obtenção da FNC via tabela- verdade. Determinar a conjunção das disjunções obtidas para cada linha F da tabela-verdade de P 5. toma-se p 4. na qual p e uma formula atômica . Construir a tabela-verdade da proposição P 2. Procurar na tabela-verdade as linhas que avaliam P como F 3. Se a proposição P e uma tautologia (não ha linha F na tabela-verdade). Para cada uma dessas linhas. e se for F. 1. toma-se p. determina-se que FNC(P) = p + p.

Construindo a tabela-verdade de P. Forma Normal Conjuntiva Exemplo: Obtenha a FNC de P = (p + q) ! r . temos: .

Forma Normal Conjuntiva .

R = (p V ¬q V r ) e S = (p V q V r ) . bem como entre os resultados obtidos por ambos os métodos. sabemos que FNC(P) = Q * R * S. Equivalências Obter a FNC da expressão P = (:p _ q) ! r utilizando tanto a regra da tabela-verdade quanto a sequência de regras da álgebra proposicional. Mostre equivalência entre P e FNC(P). Solução: De exemplos anteriores. com Q = (¬p V ¬q V ¬r ).

Equivalências .

Equivalências A determinação da FNC de P através das regras da álgebra proposicional pode ser realizada de acordo com a seguinte sequencia de passos: .

Equivalências .