Besonderhede van voorbeeld: 319627957335948800

English

The Boolean satisfiability problem is a kind of problem. It is from math-based logic. In propositional logic, a formula is satisfiable if the variables it uses can be given values so that it becomes true.

Dutch

In de klassieke logica is een propositie vervulbaar als er een toekenning, waar of onwaar, bestaat van de atomaire formules in die propositie zodat de propositie waar is.