Como queres utilizar PONS.com?

Já és subscritor do PONS Pur ou do PONS Translate Pro?

PONS com publicidade

Visita PONS.com como de costume com localização de publicidade e publicidade

Pormenores sobre o rastreamento encontram-se nas informações sobre Política de privacidade e nas Definições de privacidade .

PONS Pur

Sem publicidade de terceiros

Sem rastreio de anúncios

Subscreve agora

Caso já tenhas uma conta grátis de utilizador para PONS.com, podes fazer a subscrição para PONS Pur.

We process your data to deliver content or advertisements and measure the delivery of such content or advertisements to extract insights about our website. We share this information with our partners on the basis of consent and legitimate interest. You may exercise your right to consent or object to a legitimate interest, based on a specific purpose below or at a partner level in the link under each purpose. These choices will be signaled to our vendors participating in the Transparency and Consent Framework.

Cookies, device or similar online identifiers (e.g. login-based identifiers, randomly assigned identifiers, network based identifiers) together with other information (e.g. browser type and information, language, screen size, supported technologies etc.) can be stored or read on your device to recognise it each time it connects to an app or to a website, for one or several of the purposes presented here.

Advertising and content can be personalised based on your profile. Your activity on this service can be used to build or improve a profile about you for personalised advertising and content. Advertising and content performance can be measured. Reports can be generated based on your activity and those of others. Your activity on this service can help develop and improve products and services.

一份儿
Erfüllbarkeitsproblem der Aussagenlogik
no Dicionário PONS
Entrada OpenDict
Boolean satisfiability problem SUBST
no Dicionário PONS
I. Bool·ean [ˈbu:liən] ADJ atrib, inv MAT
II. Bool·ean [ˈbu:liən] SUBST
I. prob·lem [ˈprɒbləm, americ ˈprɑ:b-] SUBST
1. problem (difficulty):
Schwierigkeit f <-, -en>
Problem nt <-s, -e>
coloq no problem (sure)
Hauptproblem nt <-s, -e>
2. problem (task):
Aufgabe f <-, -n>
Problem nt <-s, -e>
3. problem MED:
Problem nt <-s, -e>
4. problem MAT:
Problem nt <-s, -e>
II. prob·lem [ˈprɒbləm, americ ˈprɑ:b-] SUBST modifier
problem (area, family, play):
Vocabulário Técnico de Biologia Klett
problem SUBST
PONS OpenDict

Deseja acrescentar uma palavra, uma frase ou uma tradução?

Envie-nos um novo registo para o PONS OpenDict. Os projetos apresentados são analisados pela equipa editorial da PONS e incluídos nos resultados em conformidade.

Insira a entrada
Não há frases de exemplo à disposição.

Não há frases de exemplo à disposição.

Experimente com outra entrada.

Exemplos unilingues (não verificados pela redação)
There are several special cases of the Boolean satisfiability problem in which the formulas are required to have a particular structure.
en.wikipedia.org
The approach to planning that converts planning problems into Boolean satisfiability problems is called satplan.
en.wikipedia.org
This is closely related to the Boolean satisfiability problem, which asks whether there exists "at least one" such assignment.
en.wikipedia.org
There is also a logical content to elimination theory, as seen in the Boolean satisfiability problem.
en.wikipedia.org
More generally with these operations any field of sets is a Boolean ring.
en.wikipedia.org