19 relações: Álgebra booliana, Circuito digital, Conjunção lógica, Estrutura de dados, Flip-flop, Forma normal disjuntiva, Função booliana, IBM, Lógica sequencial, Porta AND, Porta lógica, Porta NOT, Problema de satisfatibilidade booliana, Problemas lógicos, Síntese lógica, Software de projeto de circuitos integrados, Teoria dos grafos, Verificação de modelos, Verificação formal.
Á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!!: Grafo AND-inversor e Álgebra booliana · Veja mais »
Circuito digital
placa de ensaio. Os circuitos digitais ou circuitos lógicos são definidos como circuitos eletrônicos que empregam a utilização de sinais elétricos em apenas dois níveis de corrente (ou tensão) para definir a representação de valores binários.
Novo!!: Grafo AND-inversor e Circuito digital · 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!!: Grafo AND-inversor e Conjunção lógica · Veja mais »
Estrutura de dados
Uma estrutura de dados (ED), em ciência da computação, é uma coleção tanto de valores (e seus relacionamentos) quanto de operações (sobre os valores e estruturas decorrentes).
Novo!!: Grafo AND-inversor e Estrutura de dados · Veja mais »
Flip-flop
Multivibrador biestável (''R1, R2''.
Novo!!: Grafo AND-inversor e Flip-flop · 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!!: Grafo AND-inversor e Forma normal disjuntiva · Veja mais »
Função booliana
Uma (lógica), que em alguns casos é um predicado ou uma proposição, é uma função do tipo f: X \to B, onde X é um conjunto arbitrário e B é um domínio booliano.
Novo!!: Grafo AND-inversor e Função booliana · Veja mais »
IBM
A International Business Machines Corporation (em tradução livre: Corporação Internacional de Máquinas de Negócios, sigla: IBM) é uma empresa dos Estados Unidos voltada para a área de informática.
Novo!!: Grafo AND-inversor e IBM · Veja mais »
Lógica sequencial
Na teoria de circuitos digitais, lógica sequencial é um tipo de circuito lógico, cujo resultados dependem não apenas do valor atual de seus sinais de entradas, mas de seu histórico de entradas anteriores.
Novo!!: Grafo AND-inversor e Lógica sequencial · 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!!: Grafo AND-inversor e Porta AND · Veja mais »
Porta lógica
Porta NAND: esquema do circuito integrado e ''hardware'' Portas ou circuitos lógicos são dispositivos que operam e trabalham com um ou mais sinais lógicos de entrada para produzir uma e somente uma saída, dependente da função implementada no circuito.
Novo!!: Grafo AND-inversor e Porta lógica · 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!!: Grafo AND-inversor e Porta NOT · 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!!: Grafo AND-inversor e Problema de satisfatibilidade booliana · Veja mais »
Problemas lógicos
Problemas lógicos são os problemas matemáticos resolvidos através do uso de raciocínio lógico.
Novo!!: Grafo AND-inversor e Problemas lógicos · Veja mais »
Síntese lógica
A síntese lógica é uma das etapas na produção de um IPcore.
Novo!!: Grafo AND-inversor e Síntese lógica · Veja mais »
Software de projeto de circuitos integrados
Um software de projeto de circuitos integrados (do inglês Electronic design automation, ou simplesmente EDA) refere-se a uma categoria de ferramentas focadas no projeto, concepção e produção de sistemas eletrônicos, abrangendo desde o projeto de circuitos integrados até o desenho de placas de circuito impresso.
Novo!!: Grafo AND-inversor e Software de projeto de circuitos integrados · Veja mais »
Teoria dos grafos
Grafo com quatro vértices e 6 arestas. É um grafo completo, conexo e planar. A teoria dos grafos ou de grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto.
Novo!!: Grafo AND-inversor e Teoria dos grafos · Veja mais »
Verificação de modelos
No campo da ciência da computação, verificação de modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um sistema atende a uma dada especificação.
Novo!!: Grafo AND-inversor e Verificação de modelos · Veja mais »
Verificação formal
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais.
Novo!!: Grafo AND-inversor e Verificação formal · Veja mais »