Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Vervulbaarheidsprobleem
In de complexiteitstheorie verwijst het vervulbaarheidsprobleem (ook bekend als SAT, van het Engelse satisfiability) naar het bepalen of een logische propositie vervuld kan worden; een propositie kan vervuld worden als er een toekenning van waar of onwaar aan de atomaire formules bestaat zodanig dat de gehele propositie waar is.
Previous Page Next Page
مسألة قابلية الإرضاء المنطقية Arabic Problema de satisfacibilitat booleana Catalan Problém splnitelnosti booleovské formule Czech Erfüllbarkeitsproblem der Aussagenlogik German Boolean satisfiability problem English Bulea plenumebloproblemo EO Problema de satisfacibilidad booleana Spanish مسئله صدقپذیری بولی FA Lauselogiikan toteutuvuusongelma Finnish Problème SAT French
