Bàn phím:
Từ điển:
 
satisfiability
  • (logic học) tính thực hiện được, tính thoả mãn được
  • joint s. tính thoả mãn đồng thời