11 relações: Distributividade, Forma normal conjuntiva, Função bijectiva, Lógica combinatória (sistemas digitais), OR, Porta AND, Porta NOR, Porta NOT, Problema da satisfatibilidade de circuito, Problema de satisfatibilidade booliana, Teoremas de De Morgan.
Distributividade
Distributividade é uma propriedade de duas operações binárias, em que a ordem em que as operações são efetuadas pode, de certa forma, ser trocada.
Novo!!: Transformação de Tseytin e Distributividade · Veja mais »
Forma normal conjuntiva
Na lógica booleana, uma fórmula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas, onde uma cláusula é uma disjunção de literais.
Novo!!: Transformação de Tseytin e Forma normal conjuntiva · Veja mais »
Função bijectiva
Uma função bijetiva, função bijetora, correspondência biunívoca ou bijeção, é uma função injectiva e sobrejectiva (injetora e sobrejetora, como é mais comum em português brasileiro).
Novo!!: Transformação de Tseytin e Função bijectiva · Veja mais »
Lógica combinatória (sistemas digitais)
Na teoria de circuitos digitais, lógica combinatória é um tipo de lógica digital que é implementada via circuitos booleanos, em que a saída é uma função pura exclusivamente da entrada atual.
Novo!!: Transformação de Tseytin e Lógica combinatória (sistemas digitais) · Veja mais »
OR
A porta lógica OR (OU), também é chamada de disjunção lógica, é uma operação lógica entre dois ou mais operandos que resulta em um valor lógico falso se, e somente se, todos os operandos tiverem um valor falso.
Novo!!: Transformação de Tseytin e OR · Veja mais »
Porta AND
Porta lógica AND (E) (também é chamada de conjunção lógica) é uma operação lógica em dois operandos que resulta em um valor lógico verdadeiro somente se todos os operados tem um valor verdadeiro.
Novo!!: Transformação de Tseytin e Porta AND · Veja mais »
Porta NOR
O NOR é um operador booleano lógico que é resultado da negação do operador OR.
Novo!!: Transformação de Tseytin e Porta NOR · Veja mais »
Porta NOT
A Porta NOT ou inversora é uma porta lógica digital que implementa a negação lógica, de acordo com a tabela verdade abaixo.
Novo!!: Transformação de Tseytin e Porta NOT · Veja mais »
Problema da satisfatibilidade de circuito
Na teoria da ciência da computação, o problema da satisfatibilidade de circuito (também conhecido como CIRCUITO-SAT, CircuitoSAT, CSAT, etc.) é o problema de decisão de determinar se um dado circuito Booleano tem uma atribuição das entradas, que torna a saída verdadeira.
Novo!!: Transformação de Tseytin e Problema da satisfatibilidade de circuito · Veja mais »
Problema de satisfatibilidade booliana
Na teoria da complexidade computacional, o problema de satisfatibilidade booliana (do inglês boolean satisfiability problem, muitas vezes abreviado como SATISFIABILITY ou SAT) foi o primeiro problema identificado como pertencente à classe de complexidade NP-completo.
Novo!!: Transformação de Tseytin e Problema de satisfatibilidade booliana · Veja mais »
Teoremas de De Morgan
Os teoremas do matemático De Morgan são propostas de simplificação de expressões em álgebra booleana de grande contribuição.
Novo!!: Transformação de Tseytin e Teoremas de De Morgan · Veja mais »