What is the translation of " BOOLEAN FUNCTIONS " in Portuguese?

• funções booleanas
• funções boolianas

Examples of using Boolean functions in English and their translations into Portuguese

Research interests are: symmetric cryptography, Boolean functions, and discrete mathematics.
Os interesses de pesquisa são: criptografia simétrica, funções booleanas e matemática discreta.

It is important to note that these polynomial relationships are valid only for total Boolean functions.
É importante perceber que estas relacões polinomiais são válidas apenas para funções Booleanas totais.

You can also use Boolean functions to search Twitter on the Agorapulse monitoring dashboard.
Você também pode usar as funções do Boolean para buscar Twitter na plataforma de monitoramento da Agorapulse.

Specifically, natural proofs prove lower bounds on the circuit complexity of boolean functions.
Especificamente, provas naturais provam o limitante inferior sobre a complexidade de circuitos de funções booleanas.

There are sixteen Boolean functions associating the input truth values P and Q with four-digit binary outputs.
Existem 16 funções Booleanas associando os valores verdade de entrada P e Q com saídas binárias de 4 dígitos.

These are fundamentally consequences of the law of bivalence, which makes all such connectives merely Boolean functions.
Essas são conseqüências fundamentais da lei do terceiro excluído, que faz com que todos os conectivos sejam apenas funções booleanas.

Studies in minimizing boolean functions area are carried out long ago, and are being adapted to new technologies.
Estudos na área de minimização de funções booleanas são realizados há muito tempo, e estão sendo adaptados às novas tecnologias.

The largeness condition requires that the property hold for a sufficiently large fraction of the set of all boolean functions.
A condição de grandeza requer que uma propriedade se aplique a uma porção suficientemente grande do conjunto de todas as funções booleanas.

Shannon had showed that almost all Boolean functions of n variables need a circuit of size at least 2nn-1.
A Complexidade de circuitos teve início com Shannon(1949), provando na ocasião que quase todas as funções booleanas sobre n variáveis exigem circuitos de tamanho Θ 2 n/n.

The minimal PoS and SoP forms are very important for finding optimal implementations of boolean functions and minimizing logic circuits.
As formas mínimas de PdS e SdP são muito importantes para encontrar ideal implementações de funções booleanas e de minimização de circuitos lógicos.

NC is defined to be the set of Boolean functions that can be decided by uniform Boolean circuits of polynomial size and polylogarithmic depth.
NC é definida como o conjunto de funções boolianas que podem ser decididas por circuitos boolianos uniformes de tamanho polinomial e profundidade polilogarítmica.

The Quine-McCluskey algorithm(or the method of prime implicants) is a method used for minimization of boolean functions that was developed by W.V.
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.

Focusing on Boolean functions, the detail of a class C{\displaystyle{\mathsf{C}}} of Boolean functions c essentially denotes how deeply the class is articulated.
Focando em funções Booleanas, o detalhe de uma classe C{\displaystyle{\mathsf{C}}} de funções Booleanas c, essencialmente, denota o quão profundamente a classe é articulada.

Despite this fact, complexity theorists have not been able to prove superpolynomial circuit lower bounds for specific Boolean functions.
Apesar deste fato, os teóricos da complexidade não foram capaz de provar limites inferiores de circuitos superpolinomiais para funções Booleanas específicas.

A property of boolean functions is defined to be natural if it contains a property meeting the constructivity and largeness conditions defined by Razborov and Rudich.
Uma propriedade de funções booleanas é definida como sendo natural se ela contém uma propriedade satisfazendo as condições de construtividade e de grandeza definidas por Razborov e Rudich.

Note that the structure of the ROM allows just"n" of the"22m" possible such Boolean functions to be produced at the output pins.
Teoricamente irão existir formula_2 funções boleanas possíveis destes m sinais, mas a estrutura da ROM permite apenas"n" destas funções nos pinos de saída.

This representation of a logic function is rarely structurally efficient for large circuits, but is an efficient representation for manipulation of boolean functions.
Essa representação de uma função lógica não é estruturalmente eficiente para circuitos grandes, mas o é para manipulações de funções booleanas.

In giving a formal definition of Boolean circuits, Vollmer starts by defining a basis as set B of Boolean functions, corresponding to the gates allowable in the circuit model.
Em uma definição formal de circuitos boolianos, Vollmer começou definindo um conjunto base B de funções boolianas, correspondendo as portas permissíveis no modelo de circuito.

Efficient generation of prime implicants is an important factor in the coverage phase of minterms in minimization¿s methods of boolean functions.
A geração eficiente de implicantes primos é um fator importante na fase de cobertura dos mintermos em métodos de minimização de funções booleanas.

The Quine-McCluskey algorithm(or the method of prime implicants) is a method used for minimization of Boolean functions that was developed by Willard V. Quine and extended by Edward J. 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.

In a conventional finite state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions.
Numa máquina de estados finitos convencional, uma transição é associada a um conjunto de entrada de condições booleanas e um conjunto de saída de funções booleanas.

Methods of minimizing boolean functions become important as they allow optimization of logic circuits by generating circuits having the same functionality, but minimized.
Os métodos de minimização de funções booleanas tornam-se relevantes por possibilitarem a otimização de circuitos lógicos, através da geração de circuitos que possuam a mesma funcionalidade, porém, minimizados.

A common basis for Boolean circuits is the set{AND, OR, NOT}, which is functionally complete, i. e. from which all other Boolean functions can be constructed.
Uma base comum para circuitos Boolianos é o conjunto de{AND, OR, NOT}, de qual todas as outras funções boolianas podem ser construídas.

Given the Boolean domain B{0,1}, a set F of Boolean functions ƒi: Bni→ B is functionally complete if the clone on B generated by the basic functions ƒi contains all functions ƒ: Bn→ B, for all strictly positive integers n≥ 1.
Dado o domínio Booleano B{0,1}, um conjunto F de funções booleanas ƒi: Bni? B é funcionalmente completa- se o clone algébrico em B gerado pelas funções básicas ƒi contém todas funções ƒ: Bn? B, para todos inteiros positivos{{{1.

In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of Boolean circuits that compute them.
No ramo da Ciência da computação teórica, complexidade de circuitos é um ramo da Teoria da complexidade computacional onde Função booleanas são classificadas de acordo com o tamanho ou o grau dos Circuitos booleanos que as computam.

For partial Boolean functions, that have a domain a subset of{ 0, 1} n{\displaystyle\{0,1\}^{n}}, an exponential separation between Q E( f){\displaystyle Q_{E}(f)} and D( f){\displaystyle D(f)} is possible; the first example of such a problem was discovered by Deutsch and Jozsa.
Para For funções booleanas parciais, que contêm um subconjunto de{ 0, 1} n{\displaystyle\{0,1\}^{n}}, uma separação exponencial entre Q E( f){\displaystyle Q_{E}(f)} e D( f){\displaystyle D(f)} é possível; o primeiro exemplo de tal problema foi descoberto por Deutsch and Jozsa.

One mathematical model commonly used to represent a genetic network is a probability boolean network( pbn), where the genes of the network are represented by boolean variables and the system progress from one instant to the next based on a set of boolean functions, each associated to a probability.
Um modelo matemático comumente usado para representar redes gênicas é a rede booleana probabilística(probabilistic boolean network- pbn), em que os genes de uma dada rede são representados por variáveis booleanas e o sistema progride de um instante de tempo para o seguinte de acordo com funções booleanas, cada qual associada a uma probabilidade.

Since every Boolean function of at least one variable can be expressed in terms of binary Boolean functions, F is functionally complete if and only if every binary Boolean function can be expressed in terms of the functions in F. A more natural condition would be that the clone generated by F consist of all functions ƒ: Bn→ B, for all integers n≥ 0.
Uma vez que cada função booleana de pelo menos uma variável pode ser expressa em termos de funções booleanas binárias, F é funcionalmente completo se somente se cada função booleana binária pode ser expressa em termos das funções de F. Uma condição mais natural seria que o clone gerado por F consistem de todas as funções ƒ: Bn? B, para todos os inteiros{{{1.

Now you could ask me, why should the user mind about MathML? That' s easy. With this, we can operate with functions like cos(), sin(), any other trigonometrical functions, sum() or product(). It does not matter what kind it is. We can use plus(), times() and everything which has its operator. Boolean functions are implemented as well, so we can do something like or1,0,0,0,0.
Agora poderá perguntar: para que interessa então o MathML? É simples: com ele, poderá usar funções como a cos(), sin(), outras funções trigonométricas, o sum() ou o product(). Não interessa o seu tipo. Poderá usar o plus(), times() e tudo o que tiver o seu operador. As funções booleanas estão também implementadas, pelo que poderá fazer algo do género'or 1, 0, 0, 0, 0.

A property is useful against a complexity class C if every sequence of boolean functions having the property infinitely often defines a language outside of C. A natural proof is a proof that establishes that a certain language lies outside of C and refers to a natural property that is useful against C. Razborov and Rudich give a number of examples of lower-bound proofs against classes C smaller than P/ poly that can be" naturalized", i.e. converted into natural proofs.
Uma propriedade é útil contra uma complexidade C se toda sequencia de funções booleanas tendo a propriedade com frequência infinita define uma linguagem fora de C. Uma prova natural é uma prova que estabelece que uma certa linguagem encontra se fora de C e se refere a uma propriedade natural que é útil contra C. Razborov e Rudich deram uma série de exemplos de provas de limitante inferior contra classes C menores que P/ polinomial, que podem ser“ naturalizadas”, isto é, convertidas em provas naturais.