satisfiability

elementary concept of semantics

分类：