充足可能性 - entropy

充足可能性

ある命題論理式が与えられた時、それに含まれる変数に対して真または偽を当てはめた時に命題全体が真となる割り当てが存在するか