Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
conjunctive normal form
Definitie
Vertaling van "conjunctive normal form" in Duits
Definitie
konjunktiver Normalform
The algorithm effectively converts any formula to conjunctive normal form.
Der Algorithmus wandelt jede Formel effektiv in die konjunktive Normalform um.
In this class, we will study conjunctive normal form in detail.
In diesem Kurs werden wir die konjunktive Normalform im Detail studieren.
A formula in conjunctive normal form simplifies logical expressions for easier analysis.
Eine Formel in konjunktiver Normalform vereinfacht logische Ausdrücke zur leichteren Analyse.
Each clause in conjunctive normal form is a disjunction of literals.
Jede Klausel in konjunktiver Normalform ist eine Disjunktion von Literalen.
He demonstrated how to convert statements to conjunctive normal form quickly.
Er demonstrierte, wie man Aussagen schnell in konjunktive Normalform umwandeln kann.
To solve the problem, we need the expression in conjunctive normal form.
Um das Problem zu lösen, benötigen wir den Ausdruck in konjunktiver Normalform.
When analyzing logic gates, we often represent functions in conjunctive normal form.
Bei der Analyse von Logikgattern stellen wir Funktionen oft in konjunktiver Normalform dar.
To prove the theorem, we express it in conjunctive normal form first.
Um das Theorem zu beweisen, drücken wir es zuerst in konjunktiver Normalform aus.
Computer programs often use conjunctive normal form for easier computation.
Computerprogramme verwenden oft die konjunktive Normalform, um die Berechnung zu erleichtern.
A truth table helps verify if an expression is in conjunctive normal form.
Eine Wahrheitstabelle hilft zu überprüfen, ob ein Ausdruck in konjunktiver Normalform ist.
Using conjunctive normal form, we can clearly see the logic structure.
Mit konjunktiver Normalform können wir die Logikstruktur deutlich erkennen.
Some features of this the satisfiability problem regarding boolean formulas in conjunctive normal form.
Diese Arbeit befasst sich mit Worst-Case-Algorithmen für das Erfüllbarkeitsproblem boolescher Ausdrücke in konjunktiver Normalform.
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.
Mit anderen Worten: Falls der Absatz eines Binärpaketes mit einem nicht leeren Feld Build-Profiles kommentiert wird, dann wird dieses Binärpaket erstellt, falls und nur falls der Ausdruck in konjunktiver Normalform sich auf wahr berechnet.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor conjunctive normal form in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 19. Exact: 19. Verstreken tijd: 22 ms.
