joint satisfiability

Совместная выполнимость