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
