WordNet-Online
Free dictionary and thesaurus of English. Definitions, synonyms, antonyms and more...
Hint: double-click any word to get it searched!

	Enter your search terms Submit search form
	Web www.wordnet-online.com

Definitions from the Web

Satisfiability

Definition:

The term satisfiability refers to the property of a logical formula being able to be satisfied by a set of variable assignments that make the formula true.

Senses:

1. (Logic) The quality of a logical formula being satisfiable.
2. (Computer Science) A problem of determining whether there exists an interpretation for a given formula that satisfies it.

Usage:

Popular usage:

In logic, satisfiability is a fundamental concept used to analyze the truthfulness of a formula.

Local usage:

In local computer science communities, satisfiability problems are often tackled by using efficient algorithms and heuristics.

Examples:

1. (Logic) The satisfiability of the logical formula (A AND B) OR (C AND NOT D) depends upon the values of variables A, B, C, and D.
2. (Computer Science) The satisfiability problem is often encountered in the field of artificial intelligence when dealing with propositional logic.

Related Products:

• Books on Logic
• Satisfiability Algorithms
• Books on Propositional Logic