Acesso mais rápido do que o navegador!
25 relações: Algoritmo de Quine-McCluskey, Análise de circuitos, Álgebra booliana, Cláusula (lógica), Cláusula de Horn, Complexidade computacional, Conjunção lógica, Disjunção lógica, Distributividade, Dupla negação, Equivalente, Fórmula, Forma normal algébrica, Forma normal clausal, Forma normal da negação, Forma normal disjuntiva, Lógica, Literal (lógica matemática), Negação, NP-completo, Princípio da resolução, Problema de satisfatibilidade booliana, Satisfatibilidade, Teoremas de De Morgan, Valoração (lógica).
Algoritmo de Quine-McCluskey
O Algoritmo de Quine–McCluskey (ou método dos implicantes primos) é um método utilizado para minimização de funções booleanas desenvolvido por W.V. Quine e Edward J. McCluskey em 1956.
Novo!!: Forma normal conjuntiva e Algoritmo de Quine-McCluskey · Veja mais »
Análise de circuitos
Análise de Circuitos é o estudo da passagem da corrente elétrica pelos elementos que compõem circuitos elétricos/ eletrônicos.
Novo!!: Forma normal conjuntiva e Análise de circuitos · Veja mais »
Álgebra booliana
Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações",Edward R. Scheinerman.
Novo!!: Forma normal conjuntiva e Álgebra booliana · Veja mais »
Cláusula (lógica)
Na lógica e na programação declarativa, uma cláusula é uma disjunção ou conjunção de literais, e pode ser interpretada como uma declaração (condicional).
Novo!!: Forma normal conjuntiva e Cláusula (lógica) · Veja mais »
Cláusula de Horn
Em lógica, uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo.
Novo!!: Forma normal conjuntiva e Cláusula de Horn · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Forma normal conjuntiva e Complexidade computacional · Veja mais »
Conjunção lógica
A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos.
Novo!!: Forma normal conjuntiva e Conjunção lógica · Veja mais »
Disjunção lógica
Disjunção, operador ou (OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas.
Novo!!: Forma normal conjuntiva e Disjunção lógica · Veja mais »
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!!: Forma normal conjuntiva e Distributividade · Veja mais »
Dupla negação
Na lógica proposicional, a dupla negação é o teorema que afirma que "Se uma declaração é verdadeira, então não é o caso que a declaração não é verdadeira".
Novo!!: Forma normal conjuntiva e Dupla negação · Veja mais »
Equivalente
Equivalente (Eq ou eq) é uma medida de quantidade de matéria, sendo definida como a massa, em gramas, de uma substância que pode reagir com 6,022 * 10^ eletrons.
Novo!!: Forma normal conjuntiva e Equivalente · Veja mais »
Fórmula
*Fórmula (lógica).
Novo!!: Forma normal conjuntiva e Fórmula · Veja mais »
Forma normal algébrica
Forma normal algébrica (FNA), também conhecida como Polinômio de Zhegalkin ou Expressão de Reed-Muller, na lógica booleana, é vista como um método de padronização e normalização de fórmulas lógicas.
Novo!!: Forma normal conjuntiva e Forma normal algébrica · Veja mais »
Forma normal clausal
A forma normal clausal é usada em programação lógica e em muitos sistemas provadores de teoremas.
Novo!!: Forma normal conjuntiva e Forma normal clausal · Veja mais »
Forma normal da negação
Uma fórmula lógica está na forma normal da negação se a negação ocorre logo após fórmulas atômicas, e são os únicos conectivos booleanos permitidos.
Novo!!: Forma normal conjuntiva e Forma normal da negação · Veja mais »
Forma normal disjuntiva
Na lógica booleana, uma forma normal disjuntiva (FND) é uma normalização de uma fórmula lógica a qual é uma disjunção de cláusulas conjuntivas.
Novo!!: Forma normal conjuntiva e Forma normal disjuntiva · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Forma normal conjuntiva e Lógica · Veja mais »
Literal (lógica matemática)
Na lógica matemática, um literal é uma fórmula atômica (átomo) ou a negação de um átomo.
Novo!!: Forma normal conjuntiva e Literal (lógica matemática) · Veja mais »
Negação
Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.
Novo!!: Forma normal conjuntiva e Negação · Veja mais »
NP-completo
Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.
Novo!!: Forma normal conjuntiva e NP-completo · Veja mais »
Princípio da resolução
O princípio da resolução é uma regra de inferência que dá origem a uma técnica de demonstração por refutação para sentenças e inferências da lógica proposicional e da lógica de primeira ordem.
Novo!!: Forma normal conjuntiva e Princípio da resolução · 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!!: Forma normal conjuntiva e Problema de satisfatibilidade booliana · Veja mais »
Satisfatibilidade
Na lógica matemática, satisfatibilidade e validade são conceitos elementares da semântica.
Novo!!: Forma normal conjuntiva e Satisfatibilidade · 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!!: Forma normal conjuntiva e Teoremas de De Morgan · Veja mais »
Valoração (lógica)
Na lógica e na Teoria dos modelos, uma valoração pode ser.
Novo!!: Forma normal conjuntiva e Valoração (lógica) · Veja mais »
