Como representar uma cláusula de apenas uma variável em 3-CNF?

Suponha que eu tenho uma expressão maior em 3-CNF (isto é, com outras variáveis
disponíveis) e queira adicionar uma nova cláusula com apenas uma variável.
Algumas definições de 3-CNF dizem que cada cláusula deve ter no máximo
3 literais, mas outras dizem que têm de ter exatamente 3 literais. Neste
último caso, como eu faço para "expandir" este um literal em uma ou mais
cláusulas (usando outras variáveis disponíveis) que sejam equivalentes à
uma cláusula com um literal?

Add Done
    0 comments

    Please sign in to answer question.

    2
    andre rodrigues
    O professor Eduardo Xavier ensinou da seguinte forma esse semestre: Transformamos a cláusula única …

    http://umamao.com/questions/como-representar...rs/4da5f33fde2d3f4fdf000070

    0 comments
    1
    Arthur Azevedo de Amorim
    "Arthur Azevedo de Amorim"'s answer to "Como representar uma cláusula de apenas uma variável em …

    http://umamao.com/questions/como-representar...rs/4c8906e679de4f1a20000470

    1 comment
    over 1 year ago Helder Ribeiro said:

    Hm... Acho que dá sim! É que eu li que uma variável e seu complemento não podem estar na mesma cláusula e acabei inconscientemente excluindo as outras possibilidades com variáveis repetidas. Obrigado!

    Search results:
    Grammaticalization/discoursivization of lexical items from verbal ...

    www.mendeley.com/research/grammaticalizationdiscoursivization...

    das macrofunções como domínio de uma regra variável; ou b ... sujeito + verbo introdutor de cláusula ... veja foram as escolhidas para representar as duas variantes em ...

    Revista Brasileira de Ciências Sociais - The political ...

    www.scielo.br/scielo.php?pid=S0102-69092004000300008&script=sci...

    Ao sub-representar, no Congresso e no ... que o federalismo não tem sido uma variável ... Esse quociente eleitoral funciona como cláusula de exclusão, na medida em ...

    SEBRAE - Como Montar Uma Loja de Bijuterias

    www.scribd.com/doc/7244837

    COMO MONTAR UMA LOJA DE BIJUTERIAS (Atenção: muitas ... Saber qual o custo variável de cada produto é uma obrigação ... Nem se contente em apenas dispor de “instrumentos ...

    Revista de Sociologia e Política - Political capital and ...

    www.scielo.br/scielo.php?pid=S0104-44782003000100010&script=sci...

    Em outros casos, uma derrota eleitoral pode representar avanço na ... eleitoral como cláusula de ... eleições em análise apenas uma pequena quantidade de ...

    Kambaia

    kambaia.blogspot.com

    ... é apenas de 73 ... da empresa é uma variável igualmente importante. Os fundos de investimento pensam, regra geral, em ... da venda de uma empresa (ou de um banco, como ...

    Search results provided by Bing | Keep searching on Bing / Google