satisfiability

Здійснимість

здійсненність