21 relações: Anfeque, Associatividade, Axioma, Charles Sanders Peirce, Circuito aritmético, Circuito integrado, CMOS, Completude funcional, Comutatividade, Dupla negação, Fórmula bem formada, Flip-flop, Henry M. Sheffer, Lógica proposicional, Lógica transistor-transistor, Multiplexador, Operação binária, Porta NOR, Se e somente se, Sistema formal, Tabela-verdade.
Anfeque
Anfeque (do grego ἀμφηκή, 'lâmina-dupla'), é um termo criado por Charles Sanders Peirce para designar qualquer uma das duas operações muitas vezes referidas como Conectivo de Sheffer, Flecha de Peirce, ou NAND e NOR.
Novo!!: Porta NAND e Anfeque · Veja mais »
Associatividade
Associatividade, em propriedade binária permite que expressões do tipo r s t possam ser escritas sem ambiguidade, ou seja, uma expressão r s t dá o mesmo resultado caso a operação que seja, em primeiro lugar, computada seja r s ou s t.G. A. Miller, What is Group Theory?, publicado em Popular Science, edição de fevereiro de 1904, p.371 A associatividade é uma das três propriedades que definem um grupo, as demais sendo a lei do cancelamento (ou seja, se r s.
Novo!!: Porta NAND e Associatividade · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Porta NAND e Axioma · Veja mais »
Charles Sanders Peirce
Charles Sanders Peirce (Cambridge, 10 de setembro de 1839 — Milford 19 de abril de 1914) foi um filósofo, pedagogista, cientista, linguista e matemático americano.
Novo!!: Porta NAND e Charles Sanders Peirce · Veja mais »
Circuito aritmético
Circuito Aritmético é um tipo de circuito combinatório que executa operações de subtração, adição, multiplicação, divisão, operações lógicas (and/or) ou qualquer outra função que possa ser implementada em um circuito combinatório.
Novo!!: Porta NAND e Circuito aritmético · Veja mais »
Circuito integrado
encapsulamento removido. Fotografia da arquitetura interna de um microprocessador de imagens de ressonância magnética aumentada 600 vezes, sob luz ultravioleta, para se enxergarem os detalhes. Em eletrônica, um circuito integrado (CI), chipe, microchipe ou nanochipe (do inglês chip, microchip e nanochip, respectivamente), é um circuito eletrônico miniaturizado (composto principalmente por dispositivos semicondutores) sobre um substrato fino de material semicondutor.
Novo!!: Porta NAND e Circuito integrado · Veja mais »
CMOS
Complementary metal–oxide–semiconductor, mais conhecido pelo seu nome comercial CMOS, também sendo nomeado como complementary-symmetry metal–oxide–semiconductor (COS-MOS), em português metal-óxido-semicondutor complementar e metal-óxido-semicondutor de simetria complementar.
Novo!!: Porta NAND e CMOS · Veja mais »
Completude funcional
Em lógica, um grupo de conectivos ou operadores Booleanos.
Novo!!: Porta NAND e Completude funcional · Veja mais »
Comutatividade
Comutatividade é uma propriedade de operações binárias, ou de ordem mais alta, em que a ordem dos operandos não altera o resultado final.
Novo!!: Porta NAND e Comutatividade · 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!!: Porta NAND e Dupla negação · Veja mais »
Fórmula bem formada
formulações sem sentido ou fórmulas bem formadas. Uma linguagem formal pode ser interpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não-teoremas. Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal.
Novo!!: Porta NAND e Fórmula bem formada · Veja mais »
Flip-flop
Multivibrador biestável (''R1, R2''.
Novo!!: Porta NAND e Flip-flop · Veja mais »
Henry M. Sheffer
Henry Maurice Sheffer (1882 — 1964) foi um lógico estado-unidense.
Novo!!: Porta NAND e Henry M. Sheffer · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Porta NAND e Lógica proposicional · Veja mais »
Lógica transistor-transistor
Lógica transistor-transistor (em inglês, Transistor-Transistor Logic ou simplesmente TTL) é uma classe de circuitos digitais montados a partir de transistores de junção bipolar (BJT) e resistores.
Novo!!: Porta NAND e Lógica transistor-transistor · Veja mais »
Multiplexador
A função básica de um multiplexador é combinar múltiplas entradas num único terminal de dados. No lado da recepção um demultiplexador divide o fluxo único de dados nos sinais múltiplos originais. Um multiplexador (abreviação: MUX), por vezes denominado pelos anglicismos multiplexer ou multiplex, é um dispositivo que seleciona as informações de duas ou mais fontes de dados num único canal.
Novo!!: Porta NAND e Multiplexador · Veja mais »
Operação binária
Na matemática, uma operação binária ou 2-ária é uma operação com dois operandos.
Novo!!: Porta NAND e Operação binária · Veja mais »
Porta NOR
O NOR é um operador booleano lógico que é resultado da negação do operador OR.
Novo!!: Porta NAND e Porta NOR · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: Porta NAND e Se e somente se · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Porta NAND e Sistema formal · Veja mais »
Tabela-verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
Novo!!: Porta NAND e Tabela-verdade · Veja mais »
Redireciona aqui:
Conectivo de Sheffer, Lógica NAND, Negated AND gate, Negação alternativa, Negação disjunta, Porta NOU.