satisfiability
plural of Bristol whitebeam
(mathematics, of a proposition or formula) The property of being able to be satisfied.
plural of flat
plural of courtesy card
命題式の充足可能性は、その式を真にする真偽値の割り当てが存在するかどうかによって決まる。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
