CSAT veya devre tatmin edilebilirliği sorunu, bir Boolean devresinin bir dizi girdi verilmişse, TRUE'nin bir çıktısı üretip üretmeyeceğine karar veren bilgisayar bilimlerindeki bir hesaplama problemidir.
Bilgisayar Bilimleri, Elektronik terimleri, Programlama terimleri