Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
conjunctive normal form
Definitie
Vertaling van "conjunctive normal form" in Spaans
Definitie NEW
In the context of a formula in the conjunctive normal form, a literal is pure if the literal's complement does not appear in the formula.
Con respecto a una fórmula expresada según la forma normal conjuntiva, se dice que un literal es puro si no aparece su complementario en esa fórmula.
Typical problems in this case involve formulas in "3CNF": conjunctive normal form with no more than three variables per conjunct.
Los problemas típicos en este caso involucran fórmulas en "3FNC": La forma normal conjuntiva con no más de tres variables por conjunción.
As in conjunctive normal form (CNF), the only propositional operators in DNF are and, or, and not.
Al igual que en forma normal conjuntiva (FNC), los únicos operadores proposicionales en FND son la conjunción, disyunción y negación.
Examples of translations involving this concept are Skolemization and some translations into conjunctive normal form.
Los ejemplos de las conversiones que implican este concepto son Skolemización y algunas transformaciones para llegar a la forma normal conjuntiva.
In first order logic, conjunctive normal form can be taken further to yield the clausal normal form of a logical formula, which can be then used to perform first-order resolution.
En la lógica de primer orden, forma normal conjuntiva puede tomarse más para producir la forma normal clausal de una fórmula lógica, que se puede utilizar luego para realizar la resolución de primer orden.
Examples of translations involving this concept are Skolemization and some translations into conjunctive normal form.
Los ejemplos de las conversiones que implican este concepto son Skolemización y algunas transformaciones para llegar a la forma normal conjuntiva.
Andere resultaten
Firstly let's look at verbs in their normal form.
Primero vamos a ver los verbos en su forma "normal".
The in-memory cache is maintained in normal form for maximum performance.
La copia en memoria se mantiene en forma normal para maximizar el rendimiento.
You quickly return to normal form, getting rid of extra pounds.
Regresa rápidamente a la forma normal, librándose de kilos de más.
All logical formulas can be converted into an equivalent disjunctive normal form.
Todas las fórmulas lógicas se pueden convertir en forma normal disyuntiva.
And too many of my players were below their normal form.
Y muchos jugadores estuvieron por debajo de su forma habitual.
On the right is the normal-form representation of this game.
A la derecha está la representación en forma normal de este juego.
Normal forms are usually preferred in computer algebra for several reasons.
Las formas normales son generalmente preferidas en álgebra computacional por varias razones.
Synoniemen voor conjunctive normal form in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 421. Exact: 6. Verstreken tijd: 69 ms.
