САТ проблем
From Wikipedia, the free encyclopedia
У математици и информатици, САТ проблем или проблем задовољивости се састоји у утврђивању да ли се променљивима неког буловског израза могу доделити вредности тако да цела формула има вредност ТАЧНО, или формула има вредност НЕТАЧНО за све могуће комбинације вредности променљивих. У другом случају се каже да је функција незадовољива; а у супротном је задовољива. Променљиве су буловске (имају вредности 0 или 1), што значи да је проблем бинарне природе.