Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
conjunctive normal form
Definitie
Vertaling van "conjunctive normal form" in Frans
Definitie NEW
As in conjunctive normal form (CNF), the only propositional operators in DNF are and, or, and not.
Tout comme dans une forme normale conjonctive (FNC), les seuls opérateurs dans une FND sont le et logique, le ou logique et la négation.
In other words, if a binary package paragraph is annotated with a non-empty Build-Profiles field, then this binary package is generated if and only if the condition expressed by the conjunctive normal form expression evaluates to true.
En d'autres termes, si un paragraphe de paquet binaire est annoté d'un champ Build-Profiles non vide, alors, ce paquet binaire est créé si et seulement si la condition exprimée par l'expression en forme normale conjonctive est évaluée à vrai.
K-CNF: We restrict f to the set of Conjunctive Normal Form formulas having an arbitrary number of conjunctions but with at most, k disjunctive in each disjunction.
K-CNF: on restreint f à l'ensemble des formules en Forme Normale Conjonctive ayant un nombre de conjonctions arbitraire mais au plus, k disjonctif dans chaque disjonction.
ArchSAT also integrates a tableau method presented as a SMT theory able to handle generic first-order reasoning, replacing the conjunctive normal form transformation and trigger mechanism traditionally used in SMT solvers.
ArchSAT intègres aussi la méthode des tableaux au travers d'une théorie SMT traditionnelle, afin de raisonner de manière générique sur tout le premier ordre, ce qui permet de remplacer la transformation en forme normal conjonctive et le mécanisme des triggers habituellement utilisés dans les prouveurs SMT.
This is a special form of conjunctive normal form.
C'est un modèle en quelque sorte standard.
Some common normal forms include conjunctive normal form and disjunctive normal form.
Certaines formes normales courantes comprennent la forme normale conjonctive et la forme normale disjonctive.
A formula in negation normal form can be put into the stronger conjunctive normal form or disjunctive normal form by applying distributivity.
Une formule en forme normale négative peut être mis sous la forme normale conjonctive ou en forme normale disjonctive en appliquant la distributivité.
The first example is also in conjunctive normal form and the last two are in both conjunctive normal form and disjunctive normal form, but the second example is in neither.
Le premier exemple est également sous forme normale conjonctive et les deux derniers sont à la fois en forme normale conjonctive et disjonctive, mais le second exemple ne l'est pas.
a (processors36) having a boolean logic unit is operable for performing short-circuit evaluation of conjunctive normal form boolean expressions/operations, disjunctive normal form boolean expression/operations, or both
un ensemble de processeurs, de co-processeurs et de coeurs de processeurs comportant une unité logique booléenne pouvant notamment servir à des expressions/opérations booléennes d'évaluation par court-circuitage de formes conjonctives normales, à des expressions/opérations booléennes d'évaluation par court-circuitage de formes disjonctives normales, ou aux deux
But, to perform this test, current QBF solvers need a formula in a restrictive syntactic form, as conjunctive normal form or negation normal form.
Mais, pour effectuer ce test les solveurs QBF actuels ont besoin d'une formule sous une forme syntaxique restrictive, comme la forme normale conjonctive ou la forme normale de négation.
The method further includes producing (1004) a Conjunctive Normal Form (CNF) encoding of the combined model data and producing (1006) a smooth deterministic Decomposable Negation Normal Form (sd-DNNF) representation of the CNF encoding.
Le procédé consiste en outre à produire (1004) un codage de forme normale conjonctive (FNC) des données de modèle combinées et à produire (1006) une représentation de forme normale négative décomposable régulière déterministe (sd-DNNF) du codage FNC.
Algebraic normal form Boolean conjunctive query Canonical form (Boolean algebra) Conjunctive normal form Disjunctive normal form Formal system
Forme normale Algebrique Forme canonique (algèbre booléenne) Forme normale conjonctive Forme normale disjonctive Système formel
It is defined similarly to a conjunctive normal form and allows to express complex temporal relations between states.
Ce modèle permets d'exprimer un ensemble riche de relations temporelles complexes.
Synoniemen voor conjunctive normal form in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 507. Exact: 15. Verstreken tijd: 84 ms.
