satisfiability

elementary concept of semantics

true quantified Boolean formula
1