12 relações: Apollo Guidance Computer, Álgebra booliana, Conjunção lógica, Disjunção lógica, Forma canónica, Forma normal algébrica, Forma normal conjuntiva, Forma normal disjuntiva, Função booliana, Mapa de Karnaugh, Tabela-verdade, Teoremas de De Morgan.
Apollo Guidance Computer
Apollo Guidance Computer Apollo Guidance Computer (AGC) foi um computador de bordo que provia recursos computacionais e controles para orientação, navegação e controle do Módulo de Comando e do Módulo Lunar utilizados no Projeto Apollo.
Novo!!: Forma normal canônica e Apollo Guidance Computer · 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 canônica e Álgebra booliana · 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 canônica 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 canônica e Disjunção lógica · Veja mais »
Forma canónica
No campo da matemática, a forma canónica refere-se de forma geral à forma normal e clássica de representar uma dada relação.
Novo!!: Forma normal canônica e Forma canónica · 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 canônica e Forma normal algébrica · 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!!: Forma normal canônica e Forma normal conjuntiva · 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 canônica 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!!: Forma normal canônica e Função booliana · Veja mais »
Mapa de Karnaugh
Mapa de Karnaugh é um método de simplificação gráfico criado por Edward Veitch (1952) e aperfeiçoado pelo engenheiro de telecomunicações Maurice Karnaugh.
Novo!!: Forma normal canônica e Mapa de Karnaugh · 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!!: Forma normal canônica e Tabela-verdade · 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 canônica e Teoremas de De Morgan · Veja mais »