Выполнимость формул: примеры и схемы