BOOLEAN FORMULA in Portuguese translation

• fórmula booleana

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

Crytographic limitations on learning Boolean formulae and finite automata.
Teoria da informação Limitações de criptografia na aprendizagem fórmulas boolean e autômatos finitos.

Such a machine decides quantified Boolean formulas in time formula_23
Tal máquina decide fórmulas booleanas quantificadas em tempo formula_23

Note that the tautology problem for positive Boolean formulae remains co-NP-complete,
Observe que o problema da tautologia para formulas booleanas positivas permanece Co-NP-completo,

Assuming fully quantified Boolean formulas to be in prenex normal form is a frequent feature of proofs.
Assumindo que a conversão de fórmulas booleanas totalmente quantificadas para a forma normal prenex é uma característica frequente de provas.

the language TQBF is a formal language consisting of the true quantified Boolean formulas.
a linguagem TBQF é uma linguagem formal que consiste na quantificação verdadeira das fórmulas booleanas.

which is of great importance in the optimization of Boolean formulas in general and digital circuits in particular.
que são de grande importância na otimização de fórmulas Booleanas em geral e, principalmente, circuitos digitais.

is satisfiability for quantified Boolean formulas with k alternations of quantifiers abbreviated QBFk or QSATk.
é a satisfatibilidade para formulas booleanas com k alterações de quantificadores Abreviando, QBFk ou QSATk.

the satisfiability problem of Boolean formulas in conjunctive normal form with, at most, three literals per clause
o problema satisfatibilidade de fórmulas booleanas em forma normal conjuntiva com no máximo três literais por cláusula

because the configurations of any such Turing Machine can be represented as Boolean formulas, with Boolean variables representing the state of the machine as well as the contents of each cell on the Turing Machine tape, with the position of the Turing Machine head encoded in the formula by the formula's ordering.
as configurações de qualquer máquina de turing pode ser representada como fórmulas booleanas, com variáveis booleanas que representam o estado da máquina, bem como o conteúdo da fita em cada célula da máquina de Turing.

In this problem, we are given a Boolean formula f with variables partitioned into k sets X1,…, Xk.
Nesse problema, nos recebemos uma formula booleana f com variaveis particionadas em k conjuntos, X1,…, Xk.

In this problem, you wish to know whether a given Boolean formula ϕ{\displaystyle\phi} can be made true with some assignment of variables.
Neste problema, deseja saber se uma fórmula dada boolean φ pode ser feita verdadeira com alguma atribuição de variáveis.

Examples of♯P-complete problems include: How many different variable assignments will satisfy a given general boolean formula?(♯SAT) How many different variable assignments will satisfy a given DNF formula?.
Exemplos de problemas P-completos incluem: Quantas diferentes atribuições de variáveis irão satisfazer uma determinada fórmula booleana genérica?

which is the problem of determining whether the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.
o qual é o problema de determinar se as variáveis de uma dada fórmula booleana podem ser atribuídas de modo a tornar a fórmula de avaliar para CERTO.

It is very easy to determine the satisfiability of a boolean formula in DNF: such a formula is satisfiable if and only if it contains a satisfiable conjunction(one that does
É surpreendente que alguns problemas P-completos correspondem a problemas fáceis de P. É muito fácil determinar a satisfatibilidade de uma fórmula booleana na FND: uma fórmula é satisfatível

First we use arithmetization to map the boolean formula with n variables, φ(b1,…, bn) to a polynomial pφ(x1,…, xn), where pφ mimics φ in that pφ is 1 if φ is true and 0 otherwise provided that the variables of pφ are assigned Boolean values.
Primeiro mostramos o uso da aritmetização para mapear a fórmula booleana com n variáveis, φ(b1,…, bn) para uma fórmula polinomial pφ(x1,…, xn), onde pφ imita φ em pφ é 1 se φ é verdadeiro e 0 caso contrário, mostrado isso, temos que às variáveis de pφ são atribuídos valores booleanos.

In this problem, we have a boolean formula in conjunctive normal form where each variable appears at most 3 times,
Neste problema, temos uma fórmula em forma normal conjuntiva e queremos saber o número máximo de

as any NP machine can be encoded into a Boolean formula by a process similar to that in Cook's theorem, such that the number of satisfying assignments of the Boolean formula is equal to the number of accepting paths of the NP machine.
qualquer máquina NP pode ser codificada em uma formula Booleana por um processo similar ao descrito no teorema de Cook-Levin, de tal modo que o número de atribuições satisfatórias da fórmula booleana é igual ao número de caminhos aceitáveis da máquina NP.

There is a systematic treatment of restricted versions of quantified boolean formulas(giving Schaefer-type classifications) provided in an expository paper by Hubie Chen.
Existe um tratamento sistemático para versões restritas de fórmulas booleanas quantificadas proposto em um paper expositivo por Hubie Chen.

An individual computational problem is thus associated with a particular"family" of Boolean circuits formula_21 where each formula_15 is the circuit handling inputs of"n" bits.
Dessa forma, um problema computacional particular é associado a uma"família" específica de circuitos Booleanos formula_21 onde cada formula_14 é o circuito que trata as entradas de"n" bits.

because the configurations of any such Turing Machine can be represented as Boolean formulas, with Boolean variables representing the state of the machine as well as the contents of each cell on the Turing Machine tape, with the position of the Turing Machine head encoded in the formula by the formula's ordering.
as configurações de tails Máquinas de Turing podem ser representadas por fórmulas booleanas, com variáveis booleanas representando o estado da máquina bem como o conteúdo de cada célula na fita da Máquina de Turing, com a posição da cabeça da Máquina de Turing decodificada na fórmula pela ordenação da fórmula..